咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献

馆藏范围

  • 355 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 286 篇 工学
    • 273 篇 计算机科学与技术...
    • 190 篇 软件工程
    • 19 篇 控制科学与工程
    • 13 篇 电气工程
    • 12 篇 信息与通信工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 电子科学与技术(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 87 篇 理学
    • 71 篇 数学
    • 8 篇 系统科学
    • 5 篇 物理学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 37 篇 管理学
    • 28 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
    • 5 篇 药学(可授医学、理...
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 86 篇 logic programmin...
  • 29 篇 knowledge repres...
  • 18 篇 semantics
  • 13 篇 programming
  • 12 篇 computer circuit...
  • 10 篇 computer program...
  • 9 篇 object oriented ...
  • 9 篇 ontology
  • 8 篇 logic gates
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 temporal logic
  • 5 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits
  • 4 篇 computer program...
  • 4 篇 nonvolatile memo...
  • 3 篇 computer science
  • 3 篇 fuzzy logic

机构

  • 2 篇 genusion inc. am...
  • 2 篇 computer science...
  • 2 篇 univ adelaide sc...
  • 2 篇 faculty of infor...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 univ minho ctr a...
  • 2 篇 dlvsyst srl arca...
  • 2 篇 listic universit...
  • 2 篇 school of comput...
  • 2 篇 vienna univ tech...
  • 2 篇 school of softwa...
  • 2 篇 open university ...
  • 2 篇 centro algoritmi...
  • 2 篇 facultad de mate...
  • 2 篇 univ calabria de...
  • 2 篇 etsii universida...
  • 2 篇 university of wi...
  • 2 篇 sri internationa...
  • 2 篇 univ london impe...

作者

  • 5 篇 vicente henrique
  • 3 篇 dastani mehdi
  • 3 篇 pereira luís mon...
  • 3 篇 brain martin
  • 3 篇 neves josé
  • 3 篇 heymans stijn
  • 3 篇 tompits hans
  • 3 篇 de vos marina
  • 2 篇 meseguer josé
  • 2 篇 hommersom arjen
  • 2 篇 durán f.
  • 2 篇 porto antónio
  • 2 篇 n. ajika
  • 2 篇 leone nicola
  • 2 篇 dell’acqua piera...
  • 2 篇 de mel geeth
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.
  • 2 篇 eiter t

语言

  • 347 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
355 条 记 录,以下是111-120 订阅
排序:
Mammographic knowledge representation in description logic
Mammographic knowledge representation in description logic
收藏 引用
3rd international workshop on knowledge representation for Health Care, KR4HC 2011, Held in Conjunction with the 13th Conference on Artificial Intelligence in Medicine, AIME 2011
作者: Taylor, Paul Toujilov, Igor Centre for Health Informatics and Multiprofessional Education UCL London United Kingdom
We present an advanced approach to representing knowledge about breast radiographs or mammograms which has advantages in terms of both usability and software engineering. The approach uses ontologies to create not mer... 详细信息
来源: 评论
A reversible processor architecture and its reversible logic design
A reversible processor architecture and its reversible logic...
收藏 引用
3rd international workshop on Reversible Computation, RC 2011
作者: Thomsen, Michael Kirkedal Axelsen, Holger Bock Glück, Robert DIKU Department of Computer Science University of Copenhagen Universitetsparken 1 DK-2100 Copenhagen Denmark
We describe the design of a purely reversible computing architecture, Bob, and its instruction set, BobISA. The special features of the design include a simple, yet expressive, locally-invertible instruction set, and ... 详细信息
来源: 评论
Answer-set programming as a new approach to event-sequence testing
Answer-set programming as a new approach to event-sequence t...
收藏 引用
3rd international Conference on Advances in System Testing and Validation Lifecycle, VALID 2011
作者: Erdem, Esra Inoue, Katsumi Oetsch, Johannes Pührer, Jörg Tompits, Hans Yilmaz, Cemal Faculty of Engineering and Natural Sciences Sabanci University Orhanli Tuzla 34956 Turkey National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-ku 101-8430 Japan Institut föur Informationssysteme 184/3 Technische Universität Wien Favoritenstrabe 9-11 A-1040 Vienna Austria
In many applications, faults are triggered by events that occur in a particular order. Based on the assumption that most bugs are caused by the interaction of a low number of events, Kuhn et al. recently introduced se... 详细信息
来源: 评论
Proposal of a High-Level Language for Writing Self Modifying Programs
收藏 引用
IEEE LATIN AMERICA TRANSACTIONS 2011年 第2期9卷 192-198页
作者: da Silva, S. R. B. Neto, J. J. Univ Estado Amazonas Curso Engn Computacao Manaus Amazonas Brazil Univ Sao Paulo Escola Politecn Sao Paulo Brazil
This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in t... 详细信息
来源: 评论
Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate logic
Measurement-Theoretic Foundations of Probabilistic Model of ...
收藏 引用
3rd international workshop on logic, Rationality and Interaction (LORI)
作者: Suzuki, Satoru Komazawa Univ Fac Arts & Sci Setagaya Ku Tokyo 1548525 Japan
Vagueness is a ubiquitous feature that we know from many expressions in natural languages. It can invite a serious problem: the Sorites Paradox. The aim of this paper is to propose a new version of complete logic for ... 详细信息
来源: 评论
Research of extended RBAC model on permission control in WEB information system
Research of extended RBAC model on permission control in WEB...
收藏 引用
2011 IEEE 3rd international Conference on Communication Software and Networks, ICCSN 2011
作者: Liqing, Li Rong, Yu Hai, Lu Xudong, Li Institute of Computer Application China Academy of Engineering Physics Mianyang Sichuan China Institute of Applied Electronics China Academy of Engineering Physics Mianyang Sichuan China
According to the characteristics of WEB management information system, a reasonable division has been made between the representation layer and the business layer to further define the relation of permission-page and ... 详细信息
来源: 评论
A runtime model checker for dynamic software based on aspect-oriented programming
A runtime model checker for dynamic software based on aspect...
收藏 引用
international workshop on Intelligent Systems and Applications
作者: Yang, Hongwei School of Software Yunnan University Kunming 650021 China Education Science Research Academy of Yunnan Kunming 650223 China
Increasingly, more and more software systems must make dynamic reconfiguration of their architectures at runtime to adapt to the changing conditions. The runtime verification of architecture evolution is necessary to ... 详细信息
来源: 评论
An Implementation of Axml(T): An Answer Set programming Based Formal Language of Authorisation for XML Documents
An Implementation of <i>A<SUP>xml(T)</SUP></i>: An Answer Se...
收藏 引用
2nd international workshop on Communications Security and Information Assurance (CSIA 2011)
作者: Policarpio, Sean Bai, Yun Univ Western Sydney Intelligent Syst Lab Sch Comp & Math Penrith NSW 1797 Australia
A(xml(T)) is a logic-based formal language of authorisation for documents written in the Extensible Markup Language. In our previous publication, we addressed the issues of the syntax, semantics, and expressive power ... 详细信息
来源: 评论
3rd international Conference on Software, Services and Semantic Technologies, S3T 2011
3rd International Conference on Software, Services and Seman...
收藏 引用
3rd international Conference on Software, Services and Semantic Technologies, S3T 2011
The proceedings contain 66 papers. The special focus in this conference is on Intelligent Content, Semantics, knowledge Management, Business Intelligence and Innovation. The topics include: News article classification...
来源: 评论
0.5V Bit-Line-Voltage Self-Boost-programming in Ferroelectric-NAND Flash Memory
0.5V Bit-Line-Voltage Self-Boost-Programming in Ferroelectri...
收藏 引用
IEEE international Memory workshop (IMW)
作者: Xizhen Zhang Kousuke Miyaji Mitsue Takahashi Ken Takeuchi Shigeki Sakai National Institute for Advanced Industrial Science and Technology Tsukuba Ibaraki Japan Department of Electrical Engineering and Information Systems University of Tokyo Tokyo Japan
Self-boost-programming for ferroelectric-NAND (Fe-NAND) flash memory was investigated by using a miniature memory cell array, which could reduce bit-line voltages for programming. As the best performance, 0.5V bit-lin... 详细信息
来源: 评论