咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是251-260 订阅
排序:
logic for programming, Artificial Intelligence, and Reasoning  2006
收藏 引用
丛书名: Lecture Notes in Computer Science
2006年
作者: Miki Hermann Andrei Voronkov
来源: 评论
Simulation of SoCs with embedded mixed-signal Cores using a Verilog High-Speed Virtual Serial Interface
Simulation of SoCs with embedded mixed-signal Cores using a ...
收藏 引用
13th IEEE international conference on Electronics, Circuits and Systems (ICECS'2006), vol.2
作者: Jan Schat Philips Semiconductors Hamburg Germany
In SoCs (System-on-Chip) with mixed-signal cores, both the functional behavior and the production tests should be simulated at top level before tape-out. the use of behavioral models for the analog and mixed-signal co... 详细信息
来源: 评论
the feature-architecture mapping (FArM) method for feature-oriented development of software product lines
The feature-architecture mapping (FArM) method for feature-o...
收藏 引用
international conference and Workshop on Engineering of Computer-Based Systems
作者: P. Sochos M. Riebisch I. Philippow Software Systems/Process Informatics Technical University Ilmenau Ilmenau Germany
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are scattered and tangled throughout the syst... 详细信息
来源: 评论
A Methodology for Design Space Exploration in Embedded DSP Applications
A Methodology for Design Space Exploration in Embedded DSP A...
收藏 引用
IEEE international conference on Electronics, Circuits and Systems (ICECS)
作者: George Economakos Kostas Anagnostopoulos Isidoros Sideris School of Electrical and Computer Engineering Microprocessors and Digital Systems Laboratory National and Technical University of Athens Athens Greece
Advances in IC fabrication technology have made the design of complex and powerful embedded appliances feasible. To design such appliances, a hardware/software co-design methodology, which allows concurrent hardware a... 详细信息
来源: 评论
Constraint-based error diagnosis in logic programming
Constraint-based error diagnosis in logic programming
收藏 引用
13th international conference on Computers in Education, ICCE 2005
作者: Le, Nguyen-thinh Menzel, Wolfgang Department of Informatics University of Hamburg Germany
Using the constraint-based modeling approach, we have developed a diagnostic component, which is able to identify errors made by learners of a logic programming language when implementing a given task specification. I... 详细信息
来源: 评论
inductive logic programming  2005
收藏 引用
丛书名: Lecture Notes in Computer Science
2005年
作者: Stefan Kramer Bernhard Pfahringer
来源: 评论
inductive logic programming - 13th international conference, ILP 2003
Inductive Logic Programming - 13th International Conference,...
收藏 引用
13th international conference, ILP 2003
the proceedings contain 24 papers from the inductive logic programming - 13th international conference, ILP 2003. the topics discussed include: complexity parameters for first-order classes;applying theory revision to... 详细信息
来源: 评论
Evaluation of a constraint-based error diagnosis system for logic programming
Evaluation of a constraint-based error diagnosis system for ...
收藏 引用
13th international conference on Computers in Education, ICCE 2005
作者: Le, Nguyen-thinh Department of Informatics University of Hamburg Germany
We applied the constraint-based approach to develop a web-based diagnosis system for Prolog. this paper introduces the evaluation results which reflects the current efficacy of our system. We gathered 261 log files wh... 详细信息
来源: 评论
Formalization of the DE2 language
收藏 引用
13th IFIP WG 10.5 Advanced Research Working conference on Correct Hardware Design and Verification Methods, CHARME 2005
作者: Hunt Jr., Warren A. Reeber, Erik Department of Computer Sciences 1 University Station University of Texas Austin TX 78712-0233 United States
We formalized the DE2 hierarchical, occurrence-oriented finite state machine (FSM) language, and have developed a proof theory allowing the mechanical verification of PSM descriptions. Using the ACL2 functional logic,... 详细信息
来源: 评论
A rule based approach to network fault and security diagnosis with agent collaboration
A rule based approach to network fault and security diagnosi...
收藏 引用
13th international conference on AIS 2004
作者: Kim, Siheung Ahn, Seong Jin Chung, Jinwok Hwang, Ilsung Kim, Sunghe No, Minki Sin, Seungchung Sungkyunkwan University 440-746 Suwon Korea Republic of Sungkyunkwan University 110-745 Seoul Korea Republic of Korea Institute of Science and Technology Information 305-806 Taejon Korea Republic of Hansei University 435-742 Kunpo Korea Republic of
this paper introduces rule-based reasoning (RBR) Expert System for network fault and security diagnosis and a mechanism for optimization. In this system, we use agent collaboration mechanism which is the process that ... 详细信息
来源: 评论