咨询与建议

限定检索结果

文献类型

  • 6,089 篇 会议
  • 2,169 篇 期刊文献
  • 98 册 图书
  • 14 篇 学位论文

馆藏范围

  • 8,366 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 5,702 篇 工学
    • 5,268 篇 计算机科学与技术...
    • 3,385 篇 软件工程
    • 580 篇 电气工程
    • 302 篇 控制科学与工程
    • 172 篇 信息与通信工程
    • 84 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 41 篇 生物医学工程(可授...
    • 38 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,392 篇 理学
    • 1,230 篇 数学
    • 118 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 67 篇 系统科学
    • 53 篇 物理学
    • 25 篇 科学技术史(分学科...
  • 582 篇 管理学
    • 332 篇 图书情报与档案管...
    • 282 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 50 篇 医学
    • 37 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 49 篇 哲学
    • 32 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 34 篇 农学
    • 26 篇 作物学
  • 24 篇 经济学
  • 15 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,370 篇 logic programmin...
  • 606 篇 computer science
  • 478 篇 computer languag...
  • 345 篇 application soft...
  • 303 篇 artificial intel...
  • 250 篇 programming prof...
  • 187 篇 hardware
  • 183 篇 computer archite...
  • 175 篇 programmable log...
  • 173 篇 control systems
  • 161 篇 logic design
  • 157 篇 concurrent compu...
  • 155 篇 computational mo...
  • 152 篇 laboratories
  • 149 篇 prototypes
  • 148 篇 object oriented ...
  • 143 篇 software enginee...
  • 137 篇 functional progr...
  • 133 篇 costs
  • 129 篇 parallel process...

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 24 篇 univ pisa dipart...
  • 24 篇 new mexico state...
  • 22 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 17 篇 katholieke univ ...
  • 17 篇 univ kentucky de...
  • 15 篇 univ potsdam pot...
  • 15 篇 univ evora escol...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...
  • 11 篇 vienna universit...
  • 11 篇 department of ma...

作者

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

语言

  • 7,915 篇 英文
  • 403 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8370 条 记 录,以下是4801-4810 订阅
Embedded microcontroller implementation of a class of condition systems
Embedded microcontroller implementation of a class of condit...
收藏 引用
Southeastern Symposium on System Theory
作者: Yu Gong L.E. Holloway Department of Electrical and Computer Engineering and Center for Robotics and Manufacturing Systems University of Kentucky Lexington KY USA
Considers the problem of synthesizing systems modeled by condition systems into microcontrollers. A condition system, a discrete event system model, can be naturally programmed into microcontrollers. Directly using an... 详细信息
来源: 评论
ServiceCom: a tool for service composition reuse and specialization
ServiceCom: a tool for service composition reuse and special...
收藏 引用
International Conference on Web Information Systems Engineering
作者: B. Orriens Jian Yang M.P. Papazoglou InfoLaboratory Tilburg University Tilburg Netherlands
Web services are becoming the dominant paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developers to create value added services by com... 详细信息
来源: 评论
Modeling multi-valued circuits in SystemC*
Modeling multi-valued circuits in SystemC*
收藏 引用
International Symposium on Multiple-Valued logic
作者: D. Grosse G. Fey R. Drechsler Inst. of Comput. Sci. Bremen Univ. Germany Institute of Computer Science University of Bremen Bremen Germany
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area is SystemC which is a C++-library. To ... 详细信息
来源: 评论
Temporal reasoning based automatic arrhythmias recognition
Temporal reasoning based automatic arrhythmias recognition
收藏 引用
IEEE International Conference on Robotics, Intelligent Systems and Signal Processing
作者: F. Wang G. Carrault R. Quiniou M.-O. Cordier L. Luo Department of Biomedical Engineering South-East University Nanjing Jiangsu China LTSI Rennes France IRISA Rennes France
We proposed a new temporal reasoning based approach to recognise arrhythmias in real time. Arrhythmias are depicted by chronicle models consisting of a set of events linked by temporal constraints restricting the rang... 详细信息
来源: 评论
Scenario architecture - a methodology to build a global view of OO software system
Scenario architecture - a methodology to build a global view...
收藏 引用
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
作者: Yiausyu Earl Tsai H.C. Jiau Kuo-Feng Ssu Department of Electrical Engineering National Cheng Kung University Tainan Taiwan
OO software engineering (OOSE) has been a popular methodology for years; however, there are still some issues remaining unsolved: a generic mechanism for checking consistency of designs is still lacking; software has ... 详细信息
来源: 评论
Graduate mechatronics course: final group projects
Graduate mechatronics course: final group projects
收藏 引用
IEEE/ASME (AIM) International Conference on Advanced Intelligent Mechatronics
作者: I.C. Ume A. Kita Bao Mi G.W. Woodruff School of Mechanical Engineering Georgia Institute of Technology Atlanta GA USA
Final group projects are an integral part of the graduate mechatronics course, "Introduction to Mechatronics", in the Woodruff School of Mechanical Engineering at Georgia Tech. Students are able to develop b... 详细信息
来源: 评论
Partial task assignment of task graphs under heterogeneous resource constraints  03
Partial task assignment of task graphs under heterogeneous r...
收藏 引用
Design Automation Conference
作者: R. Szymanek K. Kuchcinski Department of Computer Science Lund University Lund Sweden
This paper presents a novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tasks to a particular resource. Our metho... 详细信息
来源: 评论
Statistical relational learning for document mining
Statistical relational learning for document mining
收藏 引用
IEEE International Conference on Data Mining (ICDM)
作者: A. Popescul L.H. Ungar S. Lawrence D.M. Pennock Computer and Information Science University of Pennsylvania Philadelphia PA USA Google Inc. Mountain View CA USA NEC Laboratories of America Inc. Princeton NJ USA
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have complex relational structures. We propose a... 详细信息
来源: 评论
Go! for multi-threaded deliberative agents  03
Go! for multi-threaded deliberative agents
收藏 引用
Proceedings of the second international joint conference on Autonomous agents and multiagent systems
作者: Keith L. Clark Francis G. McCabe Imperial College London UK Fujitsu Labs of America Sunnyvale CA
No abstract available.
来源: 评论
Superstructure optimization of chemical process
Superstructure optimization of chemical process
收藏 引用
SICE Annual Conference
作者: Sangbum Lee En Sup Yoon I.E. Grossmann Department of Chemical Engineering Camegie Mellon University Pittsburgh PA USA Seoul National University Seoul South Korea
In this paper we consider the superstructure optimization of chemical process networks. The objective of the superstructure optimization is to minimize the total cost of the process. First we present the mathematical ... 详细信息
来源: 评论