咨询与建议

限定检索结果

文献类型

  • 6,088 篇 会议
  • 2,200 篇 期刊文献
  • 99 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,402 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 5,725 篇 工学
    • 5,318 篇 计算机科学与技术...
    • 3,509 篇 软件工程
    • 566 篇 电气工程
    • 304 篇 控制科学与工程
    • 169 篇 信息与通信工程
    • 84 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,422 篇 理学
    • 1,258 篇 数学
    • 118 篇 统计学(可授理学、...
    • 75 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 594 篇 管理学
    • 333 篇 图书情报与档案管...
    • 294 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 34 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,406 篇 logic programmin...
  • 603 篇 computer science
  • 473 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 177 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 153 篇 computational mo...
  • 153 篇 logic design
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 136 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 27 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 22 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 49 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 38 篇 son tran cao
  • 37 篇 pontelli enrico
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,020 篇 英文
  • 334 篇 其他
  • 33 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8406 条 记 录,以下是4291-4300 订阅
排序:
Learning, planning, and the life cycle of workflow management
Learning, planning, and the life cycle of workflow managemen...
收藏 引用
International Conference on Enterprise Distributed Object Computing (EDOC)
作者: D.R. Ferreira H.M. Ferreira Faculty of Engineering U. P. Porto Portugal INESC-Porto Porto Portugal
This paper describes an approach towards workflow management based on the combination of learning and planning. Assuming that processes cannot be fully described at build-time, the approach makes use of learning techn... 详细信息
来源: 评论
Open and Standardized Tools for Sm art Transducer Networking
Open and Standardized Tools for Sm art Transducer Networking
收藏 引用
IEEE Instrumentation and Measurement Technology Conference
作者: L.A.P. Marcal R.P. Ferraz T.A. Prado L. Guardalben T.A.S. Filho C. Kitano A.C.R. da Silva A.A. de Carvalho E.A. Batista S.R. Rossi Department of Electrical Engineering São Paulo State University - UNESP Ilha Solteira SP Brazil Dept. of Electro-Mech. Eng. Nat. Univ. of the Center of the Buenos Aires Province
IEEE 1451 standard is intended to address the smart transducer interfacing problematic in network environments. Usually, proprietary hardware and software is a very efficient solution to implement the IEEE 1451 normat... 详细信息
来源: 评论
Toward fundamental primitives and infrastructure enhancements for distributed Web object coordination and workflows
Toward fundamental primitives and infrastructure enhancement...
收藏 引用
IEEE International Conference on Web Services (ICWS)
作者: J. Balasooriya S.K. Prasad Georgia State University Atlanta USA
We envision users discovering suitable Web objects and configuring them on-the-fly with their desired high-level application logic, with the programming and deployment carried out entirely on the Web. Easy configurabi... 详细信息
来源: 评论
A novel nonvolatile memory cell for programmable logic
A novel nonvolatile memory cell for programmable logic
收藏 引用
IEEE SOI-3D-Subthreshold Microelectronics Technology Unified Conference (S3S)
作者: H. Lin S. Tiwari Cornell University Ithaca NY USA
A novel, simple and bipolar-injection based nonvolatile field-effect memory cell is demonstrated in silicon-on-insulator CMOS technology. programming time down to 8 ns are achieved together with erase times of a milli... 详细信息
来源: 评论
A novel single poly-silicon EEPROM using trench floating gate
A novel single poly-silicon EEPROM using trench floating gat...
收藏 引用
IEEE International Workshop on Memory Technology, Design and Testing
作者: Meng-Yi Wu Shin-Chang Feng Ya-Chin King Micro electronic Laboratory Semiconductor Technology Application Research (STAR) Group Department of Electrical Engineering National Tsing Hua University Hsinchu Taiwan
A single poly-silicon trench gate-type EEPROM, SPTG, featuring low voltage operation and fast programming is proposed. Using a trench floating gate instead of the stack gate structure, this cell is suitable for embedd... 详细信息
来源: 评论
FELIX: using rewriting-logic for generating functionally equivalent implementations
FELIX: using rewriting-logic for generating functionally equ...
收藏 引用
International Conference on Field Programmable logic and Applications
作者: C. Morra J. Becker M. Ayala-Rincon R. Hartenstein ITIV Universität Karlsruhe (TH) Karlsruhe Germany Departamento de Matemática Universidade de Brasília Brasília Brazil Fachbereich Informatik TU Kaiserslautern Kaiserslautern Germany
FELIX is a new design space exploration tool and graphical integrated development environment (IDE) for the programming of coarse-grained reconfigurable architectures. Its main and novel advantage is the use of rewrit... 详细信息
来源: 评论
The Birth, Evolution and Future of the Microprocessor
The Birth, Evolution and Future of the Microprocessor
收藏 引用
International Conference on Computer and Information Technology (CIT)
作者: M. Shima CTO Visual Technology Inc. USA
Summary form only given. The world's first microprocessor, the 4004, was co-developed by Busicom, a Japanese manufacturer of calculators, and Intel, a U.S. manufacturer of semiconductors. During the development of... 详细信息
来源: 评论
Persistent middle tier components without logging
Persistent middle tier components without logging
收藏 引用
International Symposium on Database Engineering and Applications (IDEAS)
作者: D. Lomet Microsoft Research Recinzond WA USA
Enterprise applications need to be highly available and scalable. In the past, this has required "stateless" applications, which essentially require the application to manage its state explicitly by storing ... 详细信息
来源: 评论
An integrated fault tolerant control framework using adaptive critic design
An integrated fault tolerant control framework using adaptiv...
收藏 引用
International Joint Conference on Neural Networks (IJCNN)
作者: G.G. Yen P.G. DeLima School of Electrical and Computer Engineering Oklahoma State University Stillwater OK USA
An integrated fault tolerant control solution calls for a nonlinear adaptive controller with universal approximation capability and guaranteed stability. To fulfill this requirement, we propose the use of neural netwo... 详细信息
来源: 评论
A hybrid Web server architecture for e-commerce applications
A hybrid Web server architecture for e-commerce applications
收藏 引用
International Conference on Parallel and Distributed Systems (ICPADS)
作者: D. Carrera V. Beltran J. Torres E. Ayguade European Center for Parallelism of Barcelona (CEPBA) Computer Architecture Department Technical University of Catalonia Barcelona Spain
The performance of an e-commerce application can be measured according to technical metrics but also following business indicators. The revenue obtained by a commercial Web application is directly related to the amoun... 详细信息
来源: 评论