咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,518 篇 电子文献
  • 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,518 篇 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,457 篇 英文
  • 56 篇 其他
  • 3 篇 中文
  • 2 篇 日文
  • 1 篇 法文
检索条件"主题词=Automatic Programming"
1518 条 记 录,以下是631-640 订阅
排序:
Decentralised autonomic computing: Analysing self-organising emergent behaviour using advanced numerical methods
Decentralised autonomic computing: Analysing self-organising...
收藏 引用
2nd International Conference on Autonomic Computing (ICAC 2005)
作者: De Wolf, T Samaey, G Holvoet, T Roose, D Katholieke Univ Leuven Dept Comp Sci B-3001 Louvain Belgium
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess system-wide behaviour Such decentralised systems are characterised by the lack of global control, typically consis... 详细信息
来源: 评论
The cruncher: automatic concept formation using minimum description length
收藏 引用
6th International Symposium on Abstraction, Reformulation and Approximation
作者: Pickett, M Oates, T Univ Maryland Baltimore Cty Baltimore MD 21250 USA
We present The Cruncher, a simple representation framework and algorithm based on minimum description length for automatically forming an ontology of concepts from attribute-value data sets. Although unsupervised, whe... 详细信息
来源: 评论
A mathematic model for automatic summarization
A mathematic model for automatic summarization
收藏 引用
2nd International Conference on Fuzzy Systems and Knowledge Discovery
作者: Wang, ZQ Wang, YC Gao, K Shanghai Jiao Tong Univ Dept Comp Sci & Engn Shanghai 200030 Peoples R China
automatic Summarization is need of the era. Mathematics is an important tool of nonfigurative thinking. A mathematic model of automatic summarization is established and discussed in the paper. The model makes use of m... 详细信息
来源: 评论
A type system for reflective program generators  05
A type system for reflective program generators
收藏 引用
4th International Conference on Generative programming and Component Engineering
作者: Draheim, D Lutteroth, C Weber, G Free Univ Berlin Inst Comp Sci D-14195 Berlin Germany Univ Auckland Dept Comp Sci Auckland 1020 New Zealand
In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. This mechanism makes many code generation tasks po... 详细信息
来源: 评论
On evolving of recursive functions using λ-abstraction and higher-order functions
On evolving of recursive functions using λ-abstraction and ...
收藏 引用
European Science Foundation Exploratory Workshop on the Challenge of Semantics (COS4)
作者: Dostal, Martin Dept. Computer Science Palacký University Olomouc Olomouc Czech Republic
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... 详细信息
来源: 评论
A structure preserving crossover in grammatical evolution
A structure preserving crossover in grammatical evolution
收藏 引用
IEEE Congress on Evolutionary Computation
作者: Harper, R Blair, A Univ New S Wales Sch Comp Sci & Engn Sydney NSW 2052 Australia
Grammatical Evolution is an algorithm for evolving complete programs in an arbitrary language. By utilising a Backus Naur Form grammar the advantages of typing are achieved. A separation of genotype and phenotype allo... 详细信息
来源: 评论
Program transformation by templates based on term rewriting  05
Program transformation by templates based on term rewriting
收藏 引用
PPDP'05 - 7th ACM SIGPLAN Conference on Principles and Practice of Declarative programming
作者: Chiba, Yuki Aoto, Takahito Toyama, Yoshihito RIEC Tohoku University 2-1-1 Katahira Aoba-ku Sendai 980-8577 Japan
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformation template. They introduced a second-... 详细信息
来源: 评论
Design for automation and automated manufacturing of drug testing kits
Design for automation and automated manufacturing of drug te...
收藏 引用
IEEE Systems, Man and Cybernetics Society, Proceedings - 2005 International Conference on Systems, Man and Cybernetics
作者: Cox, Daniel J. Lewandowski, Walter University of North Florida Northrop Grumman St. Augustine FL
This paper describes the design for automation and development of manufacturing automation for a law enforcement product, the Narcotics Identification Kit, a high volume product widely used in the field of law enforce... 详细信息
来源: 评论
automatic 'Descente infinie' induction reasoning
收藏 引用
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
作者: Stratulat, S Univ Paul Verlaine Metz LITA F-57000 Metz France
We present a framework and a methodology to build and analyse automatic provers using the Descente Infinie' induction principle. A stronger connection between different proof techniques like those based on implici... 详细信息
来源: 评论
Merge-based computation of minimal generators
Merge-based computation of minimal generators
收藏 引用
13th International Conference on Conceptual Structures
作者: Frambourg, C Valtchev, P Godin, R Univ Quebec Montreal Dept Informat Montreal PQ Canada
Minimal generators (mingens) of concept intents are valuable elements of the Formal Concept Analysis (FCA) landscape, which are widely used in the database field, for data mining but also for database design purposes.... 详细信息
来源: 评论