咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4251-4260 订阅
排序:
A student agent in a CAI system
A student agent in a CAI system
收藏 引用
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT)
作者: K. Takahashi H. Ueda T. Miyahara Hiroshima City University Hiroshima Japan
In this paper, we present a learning simulator that behaves like a student in a CAI (computer aided instruction) system. We call this simulator a student agent. The agent consists of an interface, an inference engine ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Novel self-convergent scheme logic-process-based multilevel/analog EEPROM memory
Novel self-convergent scheme logic-process-based multilevel/...
收藏 引用
IEEE International Workshop on Memory Technology, Design and Testing
作者: Kung-Hong Lee Shih-Chen Wang Ya-Chin King Microelectronics Laboratory Semiconductor Technology Application Research (STAR) Group Department of Electrical Engineering National Tsing Hua University Hsinchu Taiwan
A novel multilevel/analog electrically erasable programmable read only memory (EEPROM) cell fabricated by standard complementary metal oxide semiconductor (CMOS) logic process is presented. The cell is operated by sel... 详细信息
来源: 评论
Resource-based models of visual interaction: understanding errors
Resource-based models of visual interaction: understanding e...
收藏 引用
IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)
作者: P. Bottoni S. Levialdi Department of Computer Science University of Roma La Sapienza Italy
We propose a resource-based model of human-computer interaction, and discuss how WIPPOG, a rule-based language for multiset transformations, can support such a model. WIPPOG is here adopted as an enactment mechanism f... 详细信息
来源: 评论
A heuristic approach to schedule periodic real-time tasks on reconfigurable hardware
A heuristic approach to schedule periodic real-time tasks on...
收藏 引用
International Conference on Field Programmable logic and Applications
作者: K. Danne M. Platzner Department of Computer Science University of Paderborn Germany
This paper deals with scheduling periodic real-time tasks on reconfigurable hardware devices, such as FPGAs. Reconfigurable hardware devices are increasingly used in embedded systems. To utilize these devices also for... 详细信息
来源: 评论
Agent modelling for CSCL environments using answer sets programming
Agent modelling for CSCL environments using answer sets prog...
收藏 引用
Mexican International Conference on Computer Science (ENC)
作者: G. Ayala M. Ortiz M. Osorio Centro de Investigación en Tecnologías de Información y Automatización Universidad de las Américas-Puebla Puebla Mexico
In this paper, we present the computational model of an agent for CSCL environments, based on the answer set programming (ASP) formalism. The complete model is formally presented in the declarative language of DLV, a ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Java Application's Packet Eavesdropper for content delivery network
Java Application's Packet Eavesdropper for content delivery ...
收藏 引用
International Conference on Advanced Information Networking and Applications (AINA)
作者: Tzu-Chi Huang Ce-Kuen Shieh Yu-Ben Miao Department of Electrical Engineering National Engineering Kung University Tainan Taiwan Computer & Communications Research Laboratories Industrial Technology and Research Institute Taiwan
DNS redirection and URL modification are two major ways to carry out dynamic replica selections in CDN. However, the two ways may overload DNS servers or dispatchers, and exhaust the network bandwidth while there are ... 详细信息
来源: 评论
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... 详细信息
来源: 评论