咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是671-680 订阅
排序:
The SIMSCRIPT III programming language for modular object-oriented simulation
The SIMSCRIPT III programming language for modular object-or...
收藏 引用
Simulation Winter Conference
作者: S.V. Rice A. Marjanski H.M. Markowitz S.M. Bailey Department of Computer & Information Science University of Mississippi MS USA CACI Products Company San Diego CA USA San Diego CA USA El Cajon CA USA
SIMSCRIPT III is a programming language for discrete-event simulation. It is a major extension of its predecessor, SIMSCRIPT II.5, providing full support for object-oriented programming and modular software development.
来源: 评论
Instrumenting contracts with aspect-oriented programming to increase observability and support debugging
Instrumenting contracts with aspect-oriented programming to ...
收藏 引用
International Conference on Software Maintenance (ICSM)
作者: L.C. Briand W.J. Dzidek Y. Labiche Simula Research Laboratory Lysaker Norway Software Quality Engineering Laboratory Systems and Computer Eng. Department Carleton University Ottawa ONT Canada
In this paper we report on how aspect-oriented programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java. The paper focuses on the templates to inst... 详细信息
来源: 评论
A knowledge-based creation of mathematical programming for GIS problem solving
收藏 引用
Geographic Information Sciences 2005年 第2期11卷 97-112页
作者: Wei, Hui Xu, Qingxin Bai, Yu Lai, Loilei Department of Computer Science Fudan University Shanghai 200433 China City University London EC1V OHB United Kingdom
The present biggest challenge to Geographical Information System (GIS) is to design model for theme analyzing. Many real applications of GIS need more functions in analysis and decision-making than in data management ... 详细信息
来源: 评论
The flowering of automated reasoning
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2005年 2605 LNAI卷 204-227页
作者: Wos, Larry Mathematics and Computer Science Division Argonne National Laboratory Argonne IL 60439-4801 United States
This article celebrates with obvious joy the role automated reasoning now plays for mathematics and logic. Simultaneously, this article evidences the realization of a dream thought impossible just four decades ago by ... 详细信息
来源: 评论
Reducing right-hand sides for termination
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2005年 3838 LNCS卷 173-197页
作者: Zantema, Hans Department of Computer Science TU Eindhoven P.O. Box 513 5600 MB Eindhoven Netherlands
We propose two transformations on term rewrite systems (TRSs) based on reducing right-hand sides: one related to the transformation order and a variant of dummy elimination. Under mild conditions we prove that the tra... 详细信息
来源: 评论
Back to the source [Feature: source code analysis]
收藏 引用
Information Professional 2005年 第4期2卷 38-42页
作者: Andy Gothard
The case for a less buggy development process is compelling. Organisations are looking to modeling languages such as the Unified Modeling Language (UML) to try to guarantee that requirements are written correctly and ... 详细信息
来源: 评论
Development of the investigation scheduling system using mobile phone utilization of the department of nuclear medicine
Development of the investigation scheduling system using mob...
收藏 引用
International Conference on e-health Networking, Applications and Services (HealthCom)
作者: Byeong-il Lee Jeong Min Ham Ki Soo Park Su-Ho Ok Jong Min Kim Heoug Kook Choi Department of Nuclear Medicine and Institute for Molecular Photonic Imaging Research Chonnam National University Hospital Choongnam South Korea Department of Information and Media Kosin University busan South Korea Department of Information and Computer engineering Inje University Kangnam South Korea
Telemedicine is important technology for the health care. As the development of computer hardware, network environment is developing rapidly. The wireless internet access using mobile phone is natural in modern societ... 详细信息
来源: 评论
Correction to the Definition of Diversity Product in “On Optimal Multilayer Cyclotomic Space–Time Code Designs”
收藏 引用
IEEE Transactions on Information Theory 2005年 第7期51卷 2732-2733页
作者: G. Wang X.-G. Xia Department of Electrical and Computer Engineering University of Delaware Newark DE USA
In the above titled paper (ibid., vol. 51, no. 3, pp. 1102-1135, Mar 05), corrections were made to several equations.
来源: 评论
Human readable genetic rules for scene boundary detection
Human readable genetic rules for scene boundary detection
收藏 引用
International Conference on Advanced Information Networking and Applications (AINA)
作者: M.J. Parmar M.C. Angelides Brunei University London UK
Genetic programming is based on the Darwinian evolutionary theory that suggests that the best solution for a problem can be evolved by populating the solution space with an initial number of possible solutions and the... 详细信息
来源: 评论
Agent Based Controller for Satellite Formation Flying
Agent Based Controller for Satellite Formation Flying
收藏 引用
Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP)
作者: K.K.T. Thanapalan S.M. Veres School of Engineering Sciences University of Southampton Southampton UK
In this paper an agent based control scheme for satellite formation flying is discussed. The underlying idea of our design is to use a multi-agent architecture for satellite formation flying control. The architecture ... 详细信息
来源: 评论