咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是661-670 订阅
排序:
A programming course for business MIS students
A programming course for business MIS students
收藏 引用
Frontiers in Education (FIE) Conference
作者: K. Sung A. Leong R.R. Rosenberg University of Washington Bothell USA
The business program at the University of Washington, Bothell has recently established a new management information systems concentration. As an integral part of the technology foundation, students are required to tak... 详细信息
来源: 评论
A formal approach to requirements-based programming
A formal approach to requirements-based programming
收藏 引用
International Conference and Workshop on Engineering of Computer-Based Systems
作者: M.G. Hinchey J.L. Rash C.A. Rouff Information Systems Division NASA Goddard Space Flight Center Greenbelt MD USA Advanced Concepts Business Unit SAIC Mclean VA USA
No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-... 详细信息
来源: 评论
Refining production strategy optimization model based on mixed bi-level programming method
Refining production strategy optimization model based on mix...
收藏 引用
IEEE International Conference on e-Business Engineering (ICEBE)
作者: Wang Wei Mei Wei Zhang Qiang Li Ze-fei Institute of Automation Chinese Academy of Sciences Beijing China Daqing Company of Petro-China Company Limited Dading China
The production process of a refinery is a complicated process, which consists of immense units. For some units, the products are multiple, so does the feasible operation mode of products of certain units. Which kind o... 详细信息
来源: 评论
Automating adaptive image generation for medical devices using aspect-oriented programming
Automating adaptive image generation for medical devices usi...
收藏 引用
International Conference on Emerging Technologies and Factory Automation (ETFA)
作者: T. Fritz M. Segura M. Sudholt E. Wuchner J.-M. Menaud Gruppe PST Ludwig-Maximilians-Universität München Deutschland Équipe OBASCO Ecole des Mines de Nantes Nantes France Corporate Technology SE2 Siemens AG München Deutschland
Image generation, e.g., in computer tomographs, requires the use of sophisticated algorithms which are characterized (i) by a large variability to enable generation of different types of images and (ii) a strong need ... 详细信息
来源: 评论
Tool support for invariant based programming
Tool support for invariant based programming
收藏 引用
Asia-Pacific Conference on Software Engineering
作者: R.-J. Back M. Myreen Department of Computer Science Abo Akademi University Turku Finland
Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code itself. This approach allows us to constr... 详细信息
来源: 评论
An investigation into using genetic programming as a means of inducing solutions to novice procedural programming problems  05
An investigation into using genetic programming as a means o...
收藏 引用
Proceedings of the 7th annual conference on Genetic and evolutionary computation
作者: Nelishia Pillay University of KwaZulu-Natal KwaZulu-Natal South Africa
The study presented in this paper forms part of a larger initiative aimed at creating a generic architecture for the development of intelligent programming tutors (IPTs) in an attempt to reduce the costs associated wi... 详细信息
来源: 评论
Trajectory reconstruction with NURBS curves for robot programming by demonstration
Trajectory reconstruction with NURBS curves for robot progra...
收藏 引用
IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA)
作者: J. Aleotti S. Caselli G. Maccherozzi RIMLab-Robotics and Intelligent Machines Laboratory Dipartimento di Ingegneria dell'Informazione University of Parma Italy
Service robots require simple programming techniques allowing users with little or no technical expertise to integrate new tasks in a robotic platform. A promising solution for automatic acquisition of robot behaviors... 详细信息
来源: 评论
Flocking of subpopulations in distributed genetic programming
Flocking of subpopulations in distributed genetic programmin...
收藏 引用
International Conference on Intelligent Systems Design and Applications (ISDA)
作者: G. Paulikas D. Rubliauskas Department of Practical Informatics Kaunas University of Technology Kaunas Lithuania
The distribution of the genetic programming algorithm improves the efficiency of the search for the solution, but additional parameters of this distribution are undesirable. This paper presents the analysis of early e... 详细信息
来源: 评论
Automata-based programming of the reactive multi-agent control systems
Automata-based programming of the reactive multi-agent contr...
收藏 引用
International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS)
作者: B. Yartsev G. Korneev A. Shalyto V. Kotov Mechanics and Optics Computer Technologies Department Saint Petersburg State University of Information Technologies Saint Petersburg Russia
Automata-based approach, proposed for the programming of the virtual autonomous reactive agents control systems used in the famous "Robocode" game is extended in this paper to the creation of the control sys... 详细信息
来源: 评论
Comparing skill-based routing call center simulations using C programming and Arena models  05
Comparing skill-based routing call center simulations using ...
收藏 引用
Simulation Winter Conference
作者: R.B. Wallace R.M. Saltzman IBM Silver Spring MD USA Department of Decision Sciences College of Business San Francisco State University San Francisco CA USA
This paper describes the modeling of a skill-based routing call center using two distinct simulation programming methods: the C language and the Arena software package. After reviewing the features of this type of cal... 详细信息
来源: 评论