咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8,369 篇 logic programmin...
  • 605 篇 computer science
  • 478 篇 computer languag...
  • 344 篇 application soft...
  • 305 篇 artificial intel...
  • 250 篇 programming prof...
  • 183 篇 computer archite...
  • 179 篇 hardware
  • 176 篇 programmable log...
  • 171 篇 control systems
  • 170 篇 logic design
  • 157 篇 concurrent compu...
  • 156 篇 computational mo...
  • 152 篇 laboratories
  • 149 篇 prototypes
  • 148 篇 object oriented ...
  • 144 篇 functional progr...
  • 143 篇 software enginee...
  • 132 篇 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
  • 26 篇 tompits hans

语言

  • 7,913 篇 英文
  • 404 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8369 条 记 录,以下是4231-4240 订阅
排序:
Mixed heuristic algorithm for intelligent string matching for information retrieval
Mixed heuristic algorithm for intelligent string matching fo...
收藏 引用
International Conference on Computational Intelligence and Multimedia Applications
作者: A.A. Hassan Department of Computer Science University of Reading UK
Text searching problem has been tackled by variety of traditional string matching approaches over the years. This paper proposes an intelligent text searching technique for information retrieval using probabilistic ap... 详细信息
来源: 评论
A stochastic non-deterministic temporal concurrent constraint calculus
A stochastic non-deterministic temporal concurrent constrain...
收藏 引用
Computer Science Society (SCCC) International Conference Chilean FLAGGED
作者: C. Olarte C. Rueda Department Ingeniería de Sistemas y Computación Pontificia Universidad Javeriana de Cali Canasgordas Colombia Dept. Ingenieria de Sistemas y Computacion Pontificia Univ. Javeriana Cali Colombia
We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior. We argue that suc... 详细信息
来源: 评论
A design pattern for active rule-based system architectures
A design pattern for active rule-based system architectures
收藏 引用
IEEE International Conference on Information Reuse and Integration (IRI)
作者: Y. Jin Department of Computer Science California State University Sacramento Sacramento CA USA
A design pattern provides a general solution for common and recurring problems. This paper describes a design pattern for an architecture design of active rule-based systems. The rule-based approach uses event-conditi... 详细信息
来源: 评论
Accelerating a multiprocessor reconfigurable architecture with pipelined VLIW units
Accelerating a multiprocessor reconfigurable architecture wi...
收藏 引用
International Workshop on Rapid System Prototyping (RSP)
作者: A. Azevedo L. Agostini F. Wagner S. Bampi R. Soares I.S. Silva UFRGS Porto Alegre Brazil UFRN Dimap Natal Brazil
The X4CP32 is an architecture that combines the parallel and reconfigurable paradigms. It consists of a grid of reconfigurable and programming units (RPUs), each one containing 4 cells (including a microprocessor in e... 详细信息
来源: 评论
A practical strategy to layout adjustment of mobile robot based reconfigurable material handling system
A practical strategy to layout adjustment of mobile robot ba...
收藏 引用
Annual Conference of Industrial Electronics Society
作者: Yong Chen Xianzhong Dai Zhengda Meng Department of Automatic Control South-East University Nanjing China
The reconfiguration process, i.e. the layout adjustment, of a reconfigurable material handling system (RMHS) plays an important role in the planning of a reconfigurable manufacturing system (RMS). This paper gives a n... 详细信息
来源: 评论
First-order Frequent Patterns in Text Mining
First-order Frequent Patterns in Text Mining
收藏 引用
Portuguese Conference on Artificial Intelligence, EPIA
作者: Jan Blatak KD Group at Faculty of Informatics Masaryk University Brno Brno Czech Republic
In this paper a universal framework for mining long first-order frequent patterns in text data is presented. It consists of RAP, an ILP system for mining maximal first-order frequent patterns, and two types of predefi... 详细信息
来源: 评论
A heuristic approach for multiple restricted multiplication
A heuristic approach for multiple restricted multiplication
收藏 引用
IEEE International Symposium on Circuits and Systems (ISCAS)
作者: N. Sidahao G.A. Constantinides P.Y.K. Cheung Department of Electrical & Electronic Engineering Imperial College London London UK
This paper introduces a heuristic solution to the multiple restricted multiplication (MRM) optimization problem. MRM refers to a situation where a single variable is multiplied by several coefficients which, while not... 详细信息
来源: 评论
Fine-granularity access control in 3-tier laboratory information systems
Fine-granularity access control in 3-tier laboratory informa...
收藏 引用
International Symposium on Database Engineering and Applications (IDEAS)
作者: Xueli Li N.A. Naeem B. Kemme Macromolecular Structure Group Biotechn. Research Institute National Research Council Canada Canada School of Computer Science McGill University Montreal Canada
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful access control is needed to allow diffe... 详细信息
来源: 评论
Neuro-quantum networks in tasks of pattern recognition
Neuro-quantum networks in tasks of pattern recognition
收藏 引用
International Conference on Physics and Control
作者: T.R. Ambaryan T.R. Ambaryan is with Laboratory Neuroinformatics and Intelligent control St. Petersburg Institute for Informatics and Automation RAS Saint Petersburg Russia
The task of simulation neural networks with application of quantum calculations is considered. Such approach allows considering the task of pattern recognition and intelligence from new positions as application of qua... 详细信息
来源: 评论
Development of distributed programming developing tool-kit based on object group model
Development of distributed programming developing tool-kit b...
收藏 引用
IEEE Workshop on Software Technologies for Future Embedded Systems
作者: Jeong-Taek Lim Su-Chong Joo School of Electrical Wonkwang University Korea
In this paper, we defined the concept of the grouped distributed objects, as a logical unit of distributed application service, and developed a distributed programming developing tool-kit based on object group model (... 详细信息
来源: 评论