咨询与建议

限定检索结果

文献类型

  • 1,178 篇 会议
  • 329 篇 期刊文献
  • 7 册 图书
  • 5 篇 学位论文

馆藏范围

  • 1,519 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 641 篇 工学
    • 460 篇 计算机科学与技术...
    • 311 篇 软件工程
    • 221 篇 电气工程
    • 78 篇 控制科学与工程
    • 63 篇 信息与通信工程
    • 49 篇 机械工程
    • 31 篇 电子科学与技术(可...
    • 20 篇 仪器科学与技术
    • 16 篇 材料科学与工程(可...
    • 7 篇 生物医学工程(可授...
    • 6 篇 力学(可授工学、理...
    • 6 篇 动力工程及工程热...
    • 6 篇 化学工程与技术
    • 5 篇 建筑学
    • 5 篇 生物工程
    • 4 篇 土木工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 核科学与技术
  • 106 篇 理学
    • 69 篇 数学
    • 14 篇 物理学
    • 11 篇 系统科学
    • 11 篇 统计学(可授理学、...
    • 10 篇 生物学
    • 7 篇 科学技术史(分学科...
  • 55 篇 管理学
    • 40 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 9 篇 医学
    • 6 篇 临床医学
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 文学
    • 4 篇 新闻传播学
  • 2 篇 哲学
  • 2 篇 经济学
  • 2 篇 法学
  • 1 篇 历史学

主题

  • 1,519 篇 automatic progra...
  • 155 篇 programming prof...
  • 144 篇 application soft...
  • 143 篇 automatic contro...
  • 136 篇 computer science
  • 109 篇 robot programmin...
  • 106 篇 robotics and aut...
  • 104 篇 genetic programm...
  • 90 篇 automatic testin...
  • 88 篇 control systems
  • 86 篇 hardware
  • 84 篇 computer languag...
  • 82 篇 humans
  • 80 篇 software enginee...
  • 76 篇 costs
  • 73 篇 automation
  • 72 篇 testing
  • 70 篇 software systems
  • 65 篇 functional progr...
  • 63 篇 system testing

机构

  • 8 篇 the robotics ins...
  • 5 篇 school of comput...
  • 4 篇 fujitsu laborato...
  • 4 篇 national univers...
  • 4 篇 graduate school ...
  • 3 篇 department of co...
  • 3 篇 sandia national ...
  • 3 篇 college of infor...
  • 3 篇 school of machin...
  • 3 篇 swoop cambridge ...
  • 3 篇 ostfold univ col...
  • 3 篇 sri internationa...
  • 3 篇 school of comput...
  • 3 篇 hamilton coll cl...
  • 3 篇 lockheed palo al...
  • 3 篇 research institu...
  • 3 篇 ibm research lab...
  • 3 篇 sivas cumhuriyet...
  • 3 篇 production model...
  • 3 篇 department of el...

作者

  • 11 篇 k. ikeuchi
  • 7 篇 olsson roland
  • 6 篇 h. mizutani
  • 6 篇 arslan sibel
  • 5 篇 akira hara
  • 5 篇 arpaia pasquale
  • 5 篇 c. ramos
  • 5 篇 t. suehiro
  • 5 篇 t. matsudaira
  • 5 篇 j. rocha
  • 5 篇 tetsuyuki takaha...
  • 4 篇 katagiri takahir...
  • 4 篇 helmuth thomas
  • 4 篇 t. thomasma
  • 4 篇 ikeuchi k
  • 4 篇 pantridge edward
  • 4 篇 jun-ichi kushida
  • 4 篇 c.e. moron
  • 4 篇 spector lee
  • 4 篇 t.l. marzetta

语言

  • 1,458 篇 英文
  • 56 篇 其他
  • 3 篇 中文
  • 2 篇 日文
  • 1 篇 法文
检索条件"主题词=Automatic Programming"
1519 条 记 录,以下是261-270 订阅
排序:
Simulation on NC machining for revolving body of stone
收藏 引用
Key Engineering Materials 2011年 458卷 29-34页
作者: Liu, Y.H. Zuo, D.W. Zhang, D. CMEE Nanjing University of Aeronautics and Astronautics Nanjing 210016 China
The processing of rough machining and semi-finishing of revolving body stone is studied, according to the particularity of stone machining. Based on the study of processing, the system of computer aided programming an... 详细信息
来源: 评论
Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks
Queral Networks: Toward an Approach for Engineering Large Ar...
收藏 引用
18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS)
作者: Hoffman, Travis A. Rozenblit, Jerzy W. Akoglu, Ali Suantak, Liana Univ Arizona Dept Elect & Comp Engn Tucson AZ 85721 USA
A generalization of an artificial neuron is introduced in this paper. Called the queron(1), this abstraction is the basic computational node of Queral Networks (QN). QNs are introduced as a parallel architecture expec... 详细信息
来源: 评论
Improving FSM Evolution Algorithm
Improving FSM Evolution Algorithm
收藏 引用
World Congress on Engineering (WCE 2011)
作者: Al Sallami, Nada M. A. MIS Department Faculty of Economic and Administration Sciences United States
To be able to represent FSM as a binary chromosome several restrictions are required. This paper analyzes and discuses the differences between classical FSMs and semantic FSA with evolutionary algorithms. To overcome ... 详细信息
来源: 评论
On-Line Learning and Planning in a Pick-and-Place Task Demonstrated Through Body Manipulation
On-Line Learning and Planning in a Pick-and-Place Task Demon...
收藏 引用
IEEE International Conference on Development and Learning (ICDL)
作者: de Rengerve, Antoine Hirel, Julien Andry, Pierre Quoy, Mathias Gaussier, Philippe Univ Cergy Pontoise ENSEA CNRS ETIS F-95000 Cergy Pontoise France
When a robot is brought into a new environment, it has a very limited knowledge of what surrounds it and what it can do. One way to build up that knowledge is through exploration but it is a slow process. programming ... 详细信息
来源: 评论
automatic code generation and tuning for stencil kernels on modern shared memory architectures
Automatic code generation and tuning for stencil kernels on ...
收藏 引用
作者: Christen, Matthias Schenk, Olaf Burkhart, Helmar Department of Mathematics and Computer Science University of Basel Klingelbergstrasse 50 4056 Basel Switzerland
In this paper, we present PATUS, a code generation and auto-tuning framework for stencil computations targeted at multi- and manycore processors, such as multicore CPUs and graphics processing units. PATUS, which stan... 详细信息
来源: 评论
A lightweight framework for automated model-to-code transformation
A lightweight framework for automated model-to-code transfor...
收藏 引用
14th IEEE International Multitopic Conference 2011, INMIC 2011
作者: Mahmood, Hina Jilani, Atif Aftab Ahmed Rauf, Abdul Islamabad Pakistan FAST Islamabad Pakistan
Model Driven Engineering (MDE) focuses on the automatic generation of code from system models, referred to as the Model-to-Code (M2C) transformation. Currently, M2C transformation relies on the transformation rules, m... 详细信息
来源: 评论
Investigating the FIFO design styles based on the Balsa synthesis system
Investigating the FIFO design styles based on the Balsa synt...
收藏 引用
2011 International Symposium on Integrated Circuits, ISIC 2011
作者: Chen, Ren-Der Lee, Che-An Hsieh, Pei-Hua Department of Computer Science and Information Engineering National Changhua University of Education Changhua Taiwan
In this paper, three asynchronous FIFO design styles, linear, square, and cubic, are investigated based on the Balsa synthesis system. These styles are designed with the key difference being the path by which data tra... 详细信息
来源: 评论
Identifying overly strong conditions in refactoring implementations
Identifying overly strong conditions in refactoring implemen...
收藏 引用
27th IEEE International Conference on Software Maintenance, ICSM 2011
作者: Soares, Gustavo Mongiovi, Melina Gheyi, Rohit Department of Computing Systems Federal University of Campina Grande Brazil
Each refactoring implementation must check a number of conditions to guarantee behavior preservation. However, specifying and checking them are difficult. Sometimes refactoring tool developers may define overly strong... 详细信息
来源: 评论
A hybrid approach to automatic programming for the object-oriented programming paradigm
A hybrid approach to automatic programming for the object-or...
收藏 引用
SAICSIT 2007: Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
作者: Pillay, Nelishia Chalmers, Caryl K. A. School of Computer Science University of KwaZulu-Natal Pietermaritzburg Campus
This paper describes a first attempt at automatically inducing object-oriented programs. The system implemented for this purpose uses a rule-based expert system to firstly derive an object-oriented design (OOD) for th... 详细信息
来源: 评论
Cartesian Ant programming
Cartesian Ant Programming
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: Akira Hara Manabu Watanabe Tetsuyuki Takahama Graduate School of Information Sciences Hiroshima City University Hiroshima Japan Faculty of Information Sciences Hiroshima City University Hiroshima Japan
Genetic programming (GP) is well-known as an evolutionary method for automatic programming. GP can optimize tree-structural programs. Cartesian GP (CGP) is one of the extensions of GP, which generates the graph struct... 详细信息
来源: 评论