咨询与建议

限定检索结果

文献类型

  • 18 篇 期刊文献
  • 9 篇 会议
  • 1 篇 学位论文

馆藏范围

  • 28 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 24 篇 工学
    • 16 篇 计算机科学与技术...
    • 6 篇 机械工程
    • 5 篇 软件工程
    • 4 篇 电气工程
    • 4 篇 控制科学与工程
    • 2 篇 材料科学与工程(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 土木工程
    • 1 篇 地质资源与地质工...
    • 1 篇 生物工程
  • 4 篇 理学
    • 1 篇 数学
    • 1 篇 化学
    • 1 篇 地球物理学
    • 1 篇 地质学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 28 篇 automated progra...
  • 3 篇 artificial intel...
  • 2 篇 genetic programm...
  • 2 篇 deep learning
  • 2 篇 collaborative wo...
  • 2 篇 computer vision
  • 2 篇 artificial intel...
  • 1 篇 machining
  • 1 篇 parallel algorit...
  • 1 篇 flexible structu...
  • 1 篇 shape optimizati...
  • 1 篇 program synthesi...
  • 1 篇 production syste...
  • 1 篇 artificial gener...
  • 1 篇 open source
  • 1 篇 redundant kinema...
  • 1 篇 ai algorithms
  • 1 篇 wizard
  • 1 篇 programming para...
  • 1 篇 context-dependen...

机构

  • 2 篇 school of comput...
  • 1 篇 juntendo univ de...
  • 1 篇 max planck inst ...
  • 1 篇 colorado state u...
  • 1 篇 university “poli...
  • 1 篇 chinese univ hon...
  • 1 篇 ucl england
  • 1 篇 lummetry.ai buch...
  • 1 篇 natl res council...
  • 1 篇 harvard univ sch...
  • 1 篇 kyungpook natl u...
  • 1 篇 juntendo univ de...
  • 1 篇 columbia univ de...
  • 1 篇 hiroshima univ d...
  • 1 篇 chinese acad sci...
  • 1 篇 inst adv technol...
  • 1 篇 harvard univ har...
  • 1 篇 carnegie mellon ...
  • 1 篇 jet propulsion l...
  • 1 篇 shenyang jianzhu...

作者

  • 2 篇 mark w. perlin
  • 1 篇 kommenda michael
  • 1 篇 teixeira marcelo
  • 1 篇 chen xianshuai
  • 1 篇 seco joao costa
  • 1 篇 andrei ionut dam...
  • 1 篇 rycroft chris h.
  • 1 篇 grossman f
  • 1 篇 chakraborty saik...
  • 1 篇 hatwig j.
  • 1 篇 ficko mirko
  • 1 篇 chen jianyu
  • 1 篇 kim yejin
  • 1 篇 bi z. m.
  • 1 篇 purdila alexandr...
  • 1 篇 krupicka martin
  • 1 篇 balic joza
  • 1 篇 toninho bernardo
  • 1 篇 piciu laurentiu
  • 1 篇 du r.

语言

  • 24 篇 英文
  • 4 篇 其他
检索条件"主题词=AUTOMATED PROGRAMMING"
28 条 记 录,以下是21-30 订阅
排序:
EGGG: automated programming for game generation
收藏 引用
IBM SYSTEMS JOURNAL 2000年 第3-4期39卷 782-794页
作者: Orwant, J Oreilly & Associates Cambridge MA 02140 USA
EGGG, the Extensible Graphical Game Generator, is an experiment in automated programming. By concentrating on a particular domain - games - EGGG allows users to create applications with a minimum of programming effort... 详细信息
来源: 评论
An overview of evolutionary algorithms: practical issues and common pitfalls
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2001年 第14期43卷 817-831页
作者: Whitley, D Colorado State Univ Dept Comp Sci Ft Collins CO 80523 USA
An overview of evolutionary algorithms is presented covering genetic algorithms, evolution strategies, genetic programming and evolutionary programming. The schema theorem is reviewed and critiqued. Gray codes, bit re... 详细信息
来源: 评论
Synthesis of ladder diagrams from Petri nets controller models
Synthesis of ladder diagrams from Petri nets controller mode...
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC 01)
作者: Jiménez, I López, E Ramírez, A CINVESTAV IPN Unidad Guadalajara Guadalajara 45090 Jalisco Mexico
This paper addresses the problem of automated synthesis of ladder diagrams for programmable logic controllers (PLC). The programs are obtained from control specifications expressed as Timed Interpreted Petri Nets (TIP... 详细信息
来源: 评论
Automating image processing for scientific data analysis of a large image database
收藏 引用
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE 1996年 第8期18卷 854-859页
作者: Chien, SA Mortensen, HB Jet Propulsion Laboratory California Institute of Technology Pasadena CA USA
This article describes the Multimission VICAR Planner (MVP): an Al planning system which uses knowledge about image processing steps and their requirements to construct executable image processing scripts to support h... 详细信息
来源: 评论
A LANGUAGE FOR automated programming OF MATHEMATICAL APPLICATIONS
收藏 引用
COMPUTER LANGUAGES 1992年 第3期17卷 169-184页
作者: KLERER, RJ KLERER, M GROSSMAN, F POLYTECH INST NEW YORK DEPT COMP SCIBROOKLYNNY 11201 PACE UNIV SCH COMP SCI & INFORMAT SYSTNEW YORKNY 10038
A new language system, the automated PROGRAMMER, has been designed and implemented. It aims to automate a great deal of routine effort for scientific, engineering, and mathematical application programming. Its notatio... 详细信息
来源: 评论
VISUALIZING DYNAMIC ARTIFICIAL INTELLIGENCE ALGORITHMS AND APPLICATIONS
收藏 引用
International Journal on Artificial Intelligence Tools 1994年 第2期3卷 289-307页
作者: MARK W. PERLIN School of Computer Science Carnegie Mellon University Pittsburgh PA 15213 USA
Visualization is an important component of modern computing. By animating the course of an algorithm’s temporal execution, many key features can be elucidated. We have developed a general framework, termed Call-Graph... 详细信息
来源: 评论
automated PLANNING AND programming ENVIRONMENTS FOR ROBOTS
收藏 引用
ROBOTICA 1992年 第1期10卷 75-82页
作者: ELMARAGHY, HA RONDEAU, JM Centre for Flexible Manufacturing Research and Development McMaster University Hamilton Ontario (Canada) L8S 4L7
Traditionally, most industrial robots are programmed by teaching. Automatic planning of robotic tasks has many potential benefits for flexible automation. It allows the user to describe a task to the robot programming... 详细信息
来源: 评论
FACTORED ARC CONSISTENCY FOR RETE MATCH
收藏 引用
International Journal on Artificial Intelligence Tools 1993年 第2期2卷 277-306页
作者: MARK W. PERLIN School of Computer Science Carnegie Mellon University Pittsburgh PA 15213 USA
RETE match for production systems and Arc Consistency (AC) filtering are two efficient AI algorithms that are designed for particular constraint satisfaction problems (CSP). Interestingly, it is possible to integrate ... 详细信息
来源: 评论