咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1061-1070 订阅
排序:
Head automata for speech translation
Head automata for speech translation
收藏 引用
International Conference on Spoken Language, ICSLP
作者: H. Alshawi AT and T Research Murray Hill NJ USA
Presents statistical language and translation models based on collections of small finite-state machines that we call "head automata". The models are intended to capture the lexical sensitivity of N-gram mod... 详细信息
来源: 评论
A bulk-synchronous parallel library implementation for the BBN butterfly GP1000
A bulk-synchronous parallel library implementation for the B...
收藏 引用
International Symposium on Parallel and Distributed Processing (IPDPS)
作者: M.W. Goudreau E.D. Root Department of Computer Science University of Central Florida Orlando FL USA
One of the fundamental goals of parallel computing is to develop a framework that will support portable and efficient application programs. The Bulk-Synchronous Parallel (BSP) model was proposed to help achieve this g... 详细信息
来源: 评论
Supporting product line development  96
Supporting product line development
收藏 引用
International Workshop on Software Process
作者: R. Balzer Information Sciences Institute Marina del Rey CA USA
The author considers how the maturation of the software development field has been inextricably tied to its adoption of a product line orientation. Only by specializing in a particular application domain can software ... 详细信息
来源: 评论
automatic analysis of functional program style
Automatic analysis of functional program style
收藏 引用
Australian Conference on Software Engineering
作者: G. Michaelson Department of Computing and Electrical Engineering Heriot-Watt University UK
Functional programming style is discussed and seven simple semantic style rules, based on program transformation, are enunciated. An automatic style analyser developed from these rules is then presented.
来源: 评论
3D matching using statistically significant groupings
3D matching using statistically significant groupings
收藏 引用
International Conference on Pattern Recognition
作者: B.R. Modayur L.G. Shapiro Department of Biological Structure University of Washington Seattle WA USA Department of Computer Science & Engineering University of Washington Seattle WA USA
Vision programming is defined as the task of constructing explicit object models to be used in object recognition. These object models specify the features to be used in recognizing the object as well as the exact ord... 详细信息
来源: 评论
Modelling an industrial software process using a commercially available tool
Modelling an industrial software process using a commerciall...
收藏 引用
Israel Conference on Computer Systems and Software Engineering
作者: D. Martin R. Nilsson J. Hallstrand P. Jauhiainen H. Malm Broadcom Eireann Research Dublin Ireland Ericsson Telecommunications System Laboratories Alvsjo Sweden
Although there has been much interest in process modelling and automation within the software industry, there have been few independent reports of experience gained an the application of this technology to industrial ... 详细信息
来源: 评论
Semi-automatic transformation from formal specifications to programs
Semi-automatic transformation from formal specifications to ...
收藏 引用
IEEE International Conference on Engineering of Complex Computer Systems
作者: Shaoying Liu C. Ho-Stuart Hiroshima City University Hiroshima Japan Queensland University of Technology Brisbane Australia
As model-based formal methods (e.g. VDM, Z) are becoming popular for the development of safety-critical and complex systems in industry, automatic transformation from formal specifications to programs is an ideal and ... 详细信息
来源: 评论
Intelligent system of selecting key search algorithms automatically
Intelligent system of selecting key search algorithms automa...
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: M. Fuketa K. Morita M. Shishibori Jun-Ichi Aoe Department of Information Science & Intelligent Systems University of Tokushima Tokushima Japan
This paper proposes an automatic selection method for key search algorithms. The methodology has been implemented in a system called KESE2. Key search algorithms are selected according to user's requirements throu... 详细信息
来源: 评论
An approach to relational database schema integration
An approach to relational database schema integration
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: I. Lukovic P. Mogin Faculty of Technical sciences Institute of Industrial Systems University of Novi Sad Novi Sad Serbia
The main goal of the paper is to give a formalization of the relational database schema integration process, as a part of a database schema design. We briefly describe the form type concept and the module schema desig... 详细信息
来源: 评论
A sixteen level scheme enabling 64 Mbit flash memory using 16 Mbit technology
A sixteen level scheme enabling 64 Mbit flash memory using 1...
收藏 引用
International Electron Devices Meeting (IEDM)
作者: D.L. Kencke R. Richart S. Garg S.K. Banerjee Microelectronics Research Center University of Texas Austin Austin TX USA Advanced Micro Devices Inc. Austin TX USA
Multilevel flash memories have been shown to double storage capacity without changing device dimensions. In this work, it is demonstrated for the first time that sixteen levels can be stored within a small 2.5 V sprea... 详细信息
来源: 评论