咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是551-560 订阅
排序:
Meta-level inference: Two applications
收藏 引用
Journal of Automated Reasoning 1988年 第1期4卷 15-27页
作者: Bundy, Alan Sterling, Leon Department of Artificial Intelligence University of Edinburgh United Kingdom
We describe two uses of meta-level inference: to control the search for a proof;and to derive new control information, and illustrate them in the domain of algebraic equation solving. The derivation of control informa... 详细信息
来源: 评论
automatic 2D shape orientation by example
Automatic 2D shape orientation by example
收藏 引用
9th International Conference on Shape Modeling and Applications
作者: Saleem, Waqar Wang, Danyi Belyaev, Alexander Seidel, Hans-Peter Max Planck Inst Informat Comp Graph Grp Stuhlsatzenhausweg 85 D-66123 Saarbrucken Germany
As large shape repositories become more common, the problem of automatically generating good views of shapes has recently gained prominence. However very few of the proposed methods take into account the orientation o... 详细信息
来源: 评论
VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction  2024
VRDSynth: Synthesizing Programs for Multilingual Visually Ri...
收藏 引用
33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA)
作者: Thanh-Dat Nguyen Tung Do-Viet Hung Nguyen-Duy Tuan-Hai Luu Le, Hung Le, Bach Thongtanunam, Patanamon Univ Melbourne Melbourne Vic Australia Cinnamon AI Ho Chi Minh City Vietnam Deakin Univ Geelong Vic Australia
Businesses often need to query visually rich documents (VRDs), e.g., purchase receipts, medical records, and insurance forms, among many other forms from multiple vendors, to make informed decisions. As such, several ... 详细信息
来源: 评论
OMAP-L138 LOW COST DEVELOPMENT KIT (LCDK) FOR HANDS-ON DSP TEACHING
OMAP-L138 LOW COST DEVELOPMENT KIT (LCDK) FOR HANDS-ON DSP T...
收藏 引用
5th European DSP Education and Research Conference (EDERC)
作者: Reay, Donald S. Heriot Watt Univ Sch Engn & Phys Sci Edinburgh EH14 4AS Midlothian Scotland
Program examples from the textbook "Digital Signal Processing and Applications with the OMAP-L138 eXperimenter" have been ported to the OMAP-L138 LCDK, enabling this inexpensive development kit to be conside... 详细信息
来源: 评论
Model Architecture for automatic Translation and Migration of Legacy Applications to Cloud Computing Environments  21
Model Architecture for Automatic Translation and Migration o...
收藏 引用
21st International Conference on Control Systems and Computer Science (CSCS)
作者: Damian, Andrei Ionut Tapus, Nicolae Cloudifier SRL Bucharest Romania Univ Politehn Bucuresti Comp Sci & Engn Dept Bucharest Romania
On-demand computing, Software-as-a-Service, Platform-as-a-Service, and in general Cloud Computing is currently the main approach by which both academic and commercial domains are delivering systems and content. Nevert... 详细信息
来源: 评论
Maximum-period PRNGs derived from a piecewise linear one-dimensional map
Maximum-period PRNGs derived from a piecewise linear one-dim...
收藏 引用
IEEE International Symposium on Circuits and Systems
作者: Addabbo, Tommaso Alioto, Massimo Fort, Ada Rocchi, Santina Vignoli, Valerio Univ Siena Dept Informat Engn I-53100 Siena Italy
In this paper a novel family of maximum-period Nonlinear Congruential Generators (NLCGs) based on the digitized Sawtooth map is considered for the definition of hardware and software efficient Pseudo Random Number Gen... 详细信息
来源: 评论
automatic generation of peephole superoptimizers
Automatic generation of peephole superoptimizers
收藏 引用
作者: Bansal, Sorav Aiken, Alex Computer Systems Lab. Stanford University
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at exploiting all opportunities for optimiz... 详细信息
来源: 评论
Modeling and generating application logic for data-intensive web applications  06
Modeling and generating application logic for data-intensive...
收藏 引用
ICWE'06: 6th International Conference on Web Engineering
作者: Jakob, Mihály Schwarz, Holger Kaiser, Fabian Mitschang, Bernhard University of Stuttgart Universitätsstraße 38 70569 Stuttgart Germany
This paper presents a new approach for the development of data-intensive web applications that depend on sophisticated application logic. E-Commerce web sites, on-line auction systems and large enterprise web portals ... 详细信息
来源: 评论
SOUND MATCHING USING SYNTHESIZER ENSEMBLES  27
SOUND MATCHING USING SYNTHESIZER ENSEMBLES
收藏 引用
27th International Conference on Digital Audio Effects, DAFx 2024
作者: Roma, Gerard School of Computing and Engineering University of West London London United Kingdom
Sound matching allows users to automatically approximate existing sounds using a synthesizer. Previous work has mostly focused on algorithms for automatically programming an existing synthesizer. This paper proposes a... 详细信息
来源: 评论
Generating code from scenario and state based models to address crosscutting concerns
Generating code from scenario and state based models to addr...
收藏 引用
ICSE 2007 Workshops: Sixth International Workshop on Scenarios and State Machines, SCESM'07
作者: Mahoney, Mark Elrad, Tzilla Carthage College Kenosha WI United States Illinois Institute of Technology Chicago IL United States
Core application concerns are often modeled using either scenarios or state machines. Crosscutting concerns can also be modeled using either scenarios or state machines. Both scenario and state machine models can be u... 详细信息
来源: 评论