咨询与建议

限定检索结果

文献类型

  • 979 篇 会议
  • 37 篇 期刊文献
  • 24 册 图书

馆藏范围

  • 1,038 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 700 篇 工学
    • 581 篇 计算机科学与技术...
    • 364 篇 软件工程
    • 146 篇 电气工程
    • 56 篇 控制科学与工程
    • 30 篇 信息与通信工程
    • 27 篇 材料科学与工程(可...
    • 19 篇 电子科学与技术(可...
    • 16 篇 机械工程
    • 11 篇 动力工程及工程热...
    • 11 篇 生物医学工程(可授...
    • 10 篇 生物工程
    • 7 篇 仪器科学与技术
    • 7 篇 石油与天然气工程
    • 6 篇 城乡规划学
    • 4 篇 核科学与技术
    • 4 篇 农业工程
  • 189 篇 理学
    • 156 篇 数学
    • 18 篇 系统科学
    • 17 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 10 篇 生物学
  • 69 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 22 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 16 篇 教育学
    • 16 篇 教育学
  • 11 篇 文学
    • 11 篇 新闻传播学
  • 9 篇 法学
    • 8 篇 社会学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 农学
    • 4 篇 作物学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 军事学

主题

  • 96 篇 logic gates
  • 77 篇 programming
  • 62 篇 logic programmin...
  • 40 篇 fuzzy logic
  • 35 篇 application soft...
  • 30 篇 probabilistic lo...
  • 29 篇 linear programmi...
  • 27 篇 programming prof...
  • 27 篇 computer archite...
  • 26 篇 computer science
  • 26 篇 dynamic programm...
  • 23 篇 software enginee...
  • 23 篇 protocols
  • 21 篇 uncertainty
  • 20 篇 object oriented ...
  • 20 篇 java
  • 20 篇 semantics
  • 19 篇 computer circuit...
  • 18 篇 costs
  • 17 篇 software systems

机构

  • 4 篇 univ potsdam pot...
  • 4 篇 vienna univ tech...
  • 4 篇 imdea software i...
  • 4 篇 institute for lo...
  • 3 篇 tu wien austria
  • 3 篇 graduate school ...
  • 3 篇 univ calabria de...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ freiburg fr...
  • 3 篇 univ british col...
  • 3 篇 imperial coll lo...
  • 3 篇 department of in...
  • 2 篇 univ tecn federi...
  • 2 篇 ist austria klos...
  • 2 篇 univ savoie savo...
  • 2 篇 tel aviv univers...
  • 2 篇 zhongguancun lab...
  • 2 篇 univ ferrara dip...
  • 2 篇 south china univ...
  • 2 篇 univ neuchatel i...

作者

  • 8 篇 alviano mario
  • 6 篇 lamma evelina
  • 5 篇 schaub torsten
  • 4 篇 riguzzi fabrizio
  • 3 篇 lin yu
  • 3 篇 vardi moshe y.
  • 3 篇 gebser martin
  • 3 篇 bellodi elena
  • 3 篇 costa vitor sant...
  • 3 篇 shinji sakamoto
  • 3 篇 lakemeyer gerhar...
  • 3 篇 ikeda markus
  • 3 篇 zhou neng-fa
  • 3 篇 xu hongxiang
  • 3 篇 sabuncu orkunt
  • 3 篇 leonard barolli
  • 3 篇 schockaert steve...
  • 3 篇 pichler andreas
  • 3 篇 wang bin
  • 3 篇 de givry simon

语言

  • 1,017 篇 英文
  • 16 篇 其他
  • 8 篇 中文
  • 1 篇 法文
检索条件"任意字段=30th International Conference on Logic Programming"
1040 条 记 录,以下是881-890 订阅
A Framework of Model-Driven Web Application Testing
A Framework of Model-Driven Web Application Testing
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: Nuo Li Qin-qin Ma Ji Wu Mao-zhong Jin Chao Liu Software Engineering Institute School of Computer Science and Engineering Beihang University China
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emerging. In this paper, a methodology of mod... 详细信息
来源: 评论
Security Consistency in UML Designs
Security Consistency in UML Designs
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: Orest Pilskalns Daniel Williams Damir Aracic Anneliese Andrews School of Engineering and Computer Science Washington State University Vancouver WA USA Department of Computer Science University of Denver Denver CO USA
Security attacks continually threaten distributed systems, disrupting both individuals and organizations economically and physically. In the software lifecycle, early detection and correction of security flaws in the ... 详细信息
来源: 评论
A Continuous Improvement Model in ImPProS
A Continuous Improvement Model in ImPProS
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: Sandro Ronaldo Bezerra Oliveira Alexandre Marcos Lins De Vasconcel Centro de Ciências Exatas e Tecnologia Universidade da Amazônia (UNAMA) Belém PA Brazil Universidade Federal de Pernambuco (UFPE) Brazil
the goal of this work is analyzing each one of the phases that composes the structure of the IDEAL (Initiating, Diagnosing, Establishing, Acting and Learning) model, as well as its activities and principles, and adapt... 详细信息
来源: 评论
A delay-encoding-logic array processor for dynamic-programming matching of data sequences
A delay-encoding-logic array processor for dynamic-programmi...
收藏 引用
30th European Solid-State Circuits conference (ESSCIRC 2004)
作者: Ogawa, M Shibata, T Univ Tokyo Dept Frontier Informat Tokyo 1138656 Japan
Computationally very expensive dynamic-program ming matching of data sequences has been directly implemented in a fully-parallel-architecture VLSI chip. the circuit operates as digital logic in the signal domain, whil... 详细信息
来源: 评论
A delay-encoding-logic array processor for dynamic-programming matching of data sequences
收藏 引用
IEEE JOURNAL OF SOLID-STATE CIRCUITS 2005年 第7期40卷 1578-1582页
作者: Ogawa, M Shibata, T Univ Tokyo Dept Frontier Informat Tokyo 1138656 Japan
Computationally very expensive dynamic-program ming matching of data sequences has been directly implemented in a fully-parallel-architecture VLSI chip. the circuit operates as digital logic in the signal domain, whil... 详细信息
来源: 评论
Using answer set programming for a decision support system
Using answer set programming for a decision support system
收藏 引用
8th international conference on logic programming and Nonmonotonic Reasoning
作者: Beierle, C Dusso, O Kern-Isberner, G Fern Univ Hagen Dept Comp Sci D-58084 Hagen Germany Univ Dortmund Dept Comp Sci D-44221 Dortmund Germany
ACMI is a decision support system for the checking of medical invoices in a German health insurance company. We present a brief overview of the system and its implementation in DLV.
来源: 评论
Reasoning about incompletely defined programs
Reasoning about incompletely defined programs
收藏 引用
12th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Walther, C Schweitzer, S Tech Univ Darmstadt Fachgebiet Programmiermethodik Darmstadt Germany
We consider automated reasoning about recursive partial functions with decidable domain, i.e. functions computed by incompletely defined but terminating functional programs. Incomplete definitions provide an elegant a... 详细信息
来源: 评论
Implementation of a data gathering system with scalable intelligent control architecture
收藏 引用
5th international Working conference on the Design of Information Infrastructure Systems for Manufacturing
作者: Takata, M Arai, E Univ Electrocommun Informat Proc Ctr Chofu Tokyo 182 Japan
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architectu... 详细信息
来源: 评论
30th international Workshop on Graph-theoretic Concepts in Computer Science, WG 2004
收藏 引用
30th international Workshop on Graph-theoretic Concepts in Computer Science, WG 2004
the proceedings contain 33 papers. the special focus in this conference is on Graph-theoretic Concepts in Computer Science. the topics include: Lexicographic breadth first search – a survey;wireless networking: graph...
来源: 评论
A mobile terminal location tracking model for personal communication systems
A mobile terminal location tracking model for personal commu...
收藏 引用
conference on Local Computer Networks (LCN)
作者: J. Almhana Z. Liu V. Choulakian R. McGorman University of Moncton Moncton NB Canada Lodex International Consulting Raleigh NC USA
In this paper, we propose a Markov movement model for mobile terminals in wireless personal communication service networks and study the location registration problem. We formulate the location registration as a Marko... 详细信息
来源: 评论