咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是271-280 订阅
排序:
Temporal logic properties of Java objects
收藏 引用
JOURNAL OF SYSTEMS AND SOFTWARE 2003年 第3期68卷 243-251页
作者: Iosif, R Sisto, R Politecn Torino Dipartimento Automat I-10129 Turin Italy
Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle defects in the logic design of these systems. Nevertheless, the integration of exist... 详细信息
来源: 评论
Which first-order logic clauses can be learned using genetic algorithms?
Which first-order logic clauses can be learned using genetic...
收藏 引用
13th international conference on inductive logic programming, ILP 2003
作者: Mărginean, Flaviu Adrian Department of Computer Science The University of York Heslington YorkYO10 5DD United Kingdom
In this paper we present and prove both negative and positive theoretical results concerning the representation and evaluation of first order logic clauses using genetic algorithms. Over the last few years, a few appr... 详细信息
来源: 评论
Temporal logic properties of Java objects
Temporal logic properties of Java objects
收藏 引用
13th international conference on Software Engineering and Knowledge Engineering (SEKE 2001)
作者: Iosif, R Sisto, R Politecn Torino Dipartimento Automat I-10129 Turin Italy
Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle defects in the logic design of these systems. Nevertheless, the integration of exist... 详细信息
来源: 评论
Improving DSP performance with a small amount of field programmable logic
Improving DSP performance with a small amount of field progr...
收藏 引用
13th international conference on Field-Programmable logic and Applications (FPL 2003)
作者: Oliver, J Akella, V Univ Calif Davis Dept Elect & Comp Engn Davis CA 95616 USA
We show a systematic methodology to create DSP + field-programmable logic hybrid architectures by viewing it as a hardware/software codesign problem. this enables an embedded processor architect to evaluate the trade-... 详细信息
来源: 评论
Specifying control logic for DSP applications in FPGAs
Specifying control logic for DSP applications in FPGAs
收藏 引用
13th international conference on Field-Programmable logic and Applications (FPL 2003)
作者: Ballagh, J Hwang, J Ma, H Milne, B Shirazi, N Singh, V Stroomer, J Xilinx Inc San Jose CA 95124 USA
New non-HDL programming models for signal processing in FPGAs have focused primarily on building high-performance data paths. Along with the ability to construct sophisticated custom signal processors comes increased ... 详细信息
来源: 评论
Agents that reason and learn
Agents that reason and learn
收藏 引用
13th international conference, ILP 2003
作者: Lloyd, John W. Res. Sch. of Info. Sci. and Eng. Australian National University Canberra ACT 0200 Australia
the issues related to designing architectures for agents that need to be able to adapt to changing circumstances during deployment are discussed. this research is being carried out in the context of the Smart Internet... 详细信息
来源: 评论
Induction of the effects of actions by monotonic methods
Induction of the effects of actions by monotonic methods
收藏 引用
13th international conference, ILP 2003
作者: Otero, Ramon P. Department of Computer Science University of Corunna Corunna 15071 Galicia Spain
Induction of the effects of actions considered here consists in learning an action description of a dynamic system from evidence on its behavior. General logic-based induction methods can deal with this problem but, u... 详细信息
来源: 评论
Hardware design with a scripting language
Hardware design with a scripting language
收藏 引用
13th international conference on Field-Programmable logic and Applications (FPL 2003)
作者: Haglund, P Mencer, O Luk, W Tai, B Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England
the Python Hardware Description Language (PyHDL) provides a scripting interface to object-oriented hardware design in C++. PyHDL uses the PamDC and PAM-Blox libraries to generate FPGA circuits. the main advantage of s... 详细信息
来源: 评论
A TCP/IP based multi-device programming circuit
A TCP/IP based multi-device programming circuit
收藏 引用
13th international conference on Field-Programmable logic and Applications, FPL 2003
作者: Schuehler, David V. Ku, Harvey Lockwood, John Applied Research Laboratory Washington University One Brookings Drive Campus Box 1045 St. LouisMO63130-4899 United States
this paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throughout the Internet. this task is accomp... 详细信息
来源: 评论
Compiling for the Molen programming paradigm
Compiling for the Molen programming paradigm
收藏 引用
13th international conference on Field-Programmable logic and Applications, FPL 2003
作者: Panainte, Elena Moscu Bertels, Koen Vassiliadis, Stamatis Computer Engineering Lab Electrical Engineering Department TU Delft Netherlands
In this paper we present compiler extensions for the Molen programming paradigm, which is a sequential consistency paradigm for programming custom computing machines (CCM). the compiler supports instruction set extens... 详细信息
来源: 评论