咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1041-1050 订阅
排序:
Parametric analysis of polyhedral iteration spaces
Parametric analysis of polyhedral iteration spaces
收藏 引用
International Conference on Application-Specific Systems, Architectures and Processors
作者: Clauss, P Loechner, V UNIV STRASBOURG 1 ICPSF-67400 ILLKIRCH GRAFFENSFRANCE
In the area of automatic parallelization of programs, analyzing and transforming loop nests with parametric affine loop bounds requires fundamental mathematical results. The most common geometrical model of iteration ... 详细信息
来源: 评论
COMPOzE-intention-based music composition through constraint programming
COMPOzE-intention-based music composition through constraint...
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: M. Henz S. Lauer D. Zimmermann Programming Systems Laboratory University of Saarland Saarbruecken Germany Computer Science Department University of Saarland Saarbruecken Germany Graduate School for Cognitive Science University of Saarland Saarbruecken Germany
We goal of the work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for in... 详细信息
来源: 评论
Four problems for which a computer program evolved by genetic programming is competitive with human performance
Four problems for which a computer program evolved by geneti...
收藏 引用
IEEE International Conference on Evolutionary Computation
作者: J.R. Koza F.H. Bennett D. Andre M.A. Keane Computer Science Department University of Stanford Stanford CA USA Econometrics Inc. Chicago IL USA
It would be desirable if computers could solve problems without the need for humans to write the detailed programmatic steps. That is, it would be desirable to have a domain independent automatic programming technique... 详细信息
来源: 评论
AMPHION: automatic programming for subroutine libraries
AMPHION: automatic programming for subroutine libraries
收藏 引用
Knowledge-Based Software Engineering Conference
作者: M. Lowry A. Philpot T. Pressburger I. Underwood Recom Technologies AI Research Branch M.S. 269-2 NASA Ames Research Center Moffett Field CA USA
AMPHION is a generic architecture that is specialized to a particular domain and subroutine library through a domain theory and domain-specific theorem-proving tactics. This paper discusses AMPHION-NAIF, the applicati... 详细信息
来源: 评论
A framework for the automatic programming of advanced production machinery
A framework for the automatic programming of advanced produc...
收藏 引用
EUROMICRO Conference
作者: G.E. Tewkesbury D.A. Sanders Department of Mechanical & Manufacturing Engineering University of Portsmouth UK
A new restricted programming language has been created to program task oriented machines. This led to a new method of integrating advanced production machinery. The method allows a design level to interface directly t... 详细信息
来源: 评论
AI in telecommunications: Introduction
收藏 引用
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS 1996年 第1期11卷 36-36页
作者: Seshadri, V AT&T Bell Lab Middletown United States
The application of artificial intelligence (AI) in telecommunication has evolved over the past 10 years. A decade ago, AI approaches applied in telecommunication were primarily rule-based. Typical systems have been de... 详细信息
来源: 评论
Autocoding: an enabling technology for rapid prototyping
Autocoding: an enabling technology for rapid prototyping
收藏 引用
International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
作者: C.B. Robbins Management Communications and Control Inc. Arlington VA USA
Autocoding technology offers design aids and automatic code generation that reduce the cost of embedded signal processor design and eliminate hand code generation. This technology may be exploited in iterative design ... 详细信息
来源: 评论
Hierarchical processors-and-memory architecture for high performance computing
Hierarchical processors-and-memory architecture for high per...
收藏 引用
Frontiers of Massively Parallel Computation
作者: Z.B. Miled R. Eigenmann J.A.B. Fortes V. Taylor School of ECE Purdue University West Lafayette IN USA Department of EECS Northwestern University Evanston IL USA
This paper outlines a cost-effective multiprocessor architecture that takes into consideration the importance of hardware and software costs as well as delivered performance in the context of real applications. The pr... 详细信息
来源: 评论
A pacing parameter for controlling ventricular rate during atrial fibrillation: potential correlation to hemodynamic function
A pacing parameter for controlling ventricular rate during a...
收藏 引用
Computers in Cardiology (CinC)
作者: S.E. Greenhut B.M. Steinhaus J.A. Fraser W.G. Hughes Telectonics Pacing Systems Inc. Englewood CO USA Kawartha Cardiology Clinic Peterborough ONT Canada
The irregular ventricular (V) rate of atrial fibrillation (AF) may contribute to adverse hemodynamics and symptoms. An algorithm that adjusts pacing rate based on RR interval mean absolute difference (MADIFF) to reduc... 详细信息
来源: 评论
Coherent Ultrafast Spectroscopy Using the Doppler Effect.
Coherent Ultrafast Spectroscopy Using the Doppler Effect.
收藏 引用
European Conference on Quantum Electronics (EQEC)
作者: P. Vledder J.I. Dijkhus Faculty of Physics and Astronomy and Debye Institute University of Utrecht Utrecht Netherlands
Ultrafast coherent spectroscopy techniques such as four-wave mixing rely on nonlinearities in the optical properties, that may produce time reversal or a χ(3). Consequently, relatively high excitation powers are need... 详细信息
来源: 评论