咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是621-630 订阅
排序:
An automatic multi-objective adjustment system for optical axes using genetic algorithms
An automatic multi-objective adjustment system for optical a...
收藏 引用
5th International Conference on Intelligent Systems Design and Applications (ISDA 2005)
作者: Murata, N Nosato, H Furuya, T Murakawa, M Toho Univ Fac Sci Dept Informat Sci Funabashi Chiba Japan
This paper describes an automatic multi-objective adjustment system for optical axes using genetic algorithms. It is difficult for conventional systems to automatically adjust optical axes, because it requires high-pr... 详细信息
来源: 评论
On evolving of recursive functions using λ-abstraction and higher-order functions
收藏 引用
LOGIC JOURNAL OF THE IGPL 2005年 第5期13卷 515-524页
作者: Dostal, Martin Dept. Computer Science Palacký University Olomouc Czech Republic. E-mail:
This article introduces an application of higher order functions as structure abstractions of recursive(1) functions as a method to reduce a search effort needed for the automatic programming (evolving) of common type... 详细信息
来源: 评论
automatic updating of urban vector maps
收藏 引用
13th International Conference on Image Analysis and Processing
作者: Ceresola, S Fusiello, A Bicego, M Belussi, A Murino, V Univ Verona Dipartimento Informat I-37134 Verona Italy
In this paper we propose an automatic updating system for urban vector maps that is able to detect changes between the old dataset (consisting of both vector and raster maps) and the present time situation represented... 详细信息
来源: 评论
automatic construction of a valency lexicon of Czech adjectives
收藏 引用
8th International Conference on Text, Speech and Dialogue
作者: Dolezalová, DJ Charles Univ Prague Inst Formal & Appl Linguist Fac Math & Phys CZ-11800 Prague Mala Strana Czech Republic
This paper describes conversion of a surface valency lexicon of Czech verbs to a surface valency lexicon of adjectives that can be derived from these verbs and that use their (possibly modified) valency frames. After ... 详细信息
来源: 评论
Termination analysis of higher-order functional programs
收藏 引用
3rd Asian Symposium on programming Languages and Systems, APLAS 2005
作者: Sereni, Damien Jones, Neil D. Oxford University Computing Laboratory DIKU University of Copenhagen
Size-change termination (SCT) automatically identifies termination of first-order functional programs. The SCT principle: a program terminates if every infinite control flow sequence would cause an infinite descent in... 详细信息
来源: 评论
automatic generation of hints for symbolic traversal
收藏 引用
13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods
作者: Ward, D Somenzi, F Univ Colorado Boulder CO 80309 USA
Recent work in avoiding the state explosion problem in hardware verification during breath-first symbolic traversal (BFST) based on Binary Decision Diagrams (BDDs) applies hints to constrain the transition relation of... 详细信息
来源: 评论
Invited presentation II: Experiences in applying model based system testing generation  05
收藏 引用
8th International Conference on Model Driven Engineering Languages and Systems
作者: Vieira, M Siemens Corporate Research
The goal of this presentation is to illustrate the benefits of using an automated, model-based approach for improving system test design and generation. Our approach, TDE/UML, automatically generates system tests from... 详细信息
来源: 评论
automatic assignment of Wikipedia encyclopedic entries to WordNet synsets  1
收藏 引用
3rd International Atlantic Web Intelligence Conference (AWIC 2005)
作者: Ruiz-Casado, M Alfonseca, E Castells, P Univ Autonoma Madrid Dept Comp Sci E-28049 Madrid Spain
We describe an approach taken for automatically associating entries from an on-line encyclopedia with concepts in an ontology or a lexical semantic network. It has been tested with the Simple English Wikipedia and Wor... 详细信息
来源: 评论
Suggestions of Lyee: A Framework on Software Methodological Thinking
Suggestions of Lyee: A Framework on Software Methodological ...
收藏 引用
4th International Conference on Software Methodologies, Tools and Techniques (SoMeT 2005)
作者: Negoro, Fumio ISD Inst Minato Ku Tokyo 1080074 Japan
This study considers our thinking is comprised of the set of something. Something in this study is cited as existences resident in our mind. This study considers the existences can be defined by certain rules. What ar... 详细信息
来源: 评论
Source-level optimization of run-time program generators  05
Source-level optimization of run-time program generators
收藏 引用
4th International Conference on Generative programming and Component Engineering
作者: Kamin, S Aktemur, B Morton, P Univ Illinois Urbana IL 61801 USA
We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a compiler written in compositional style, which ... 详细信息
来源: 评论