咨询与建议

限定检索结果

文献类型

  • 54 篇 会议
  • 3 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 47 篇 工学
    • 47 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 5 篇 控制科学与工程
    • 4 篇 电气工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 信息与通信工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 10 篇 理学
    • 8 篇 数学
    • 1 篇 物理学
    • 1 篇 生物学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 15 篇 inductive logic ...
  • 9 篇 logic programmin...
  • 6 篇 inductive logic ...
  • 4 篇 computer circuit...
  • 2 篇 mathematical log...
  • 2 篇 programming tech...
  • 2 篇 artificial intel...
  • 2 篇 statistical rela...
  • 1 篇 relational learn...
  • 1 篇 runtime
  • 1 篇 circuit simulati...
  • 1 篇 corpus-based acq...
  • 1 篇 clustering
  • 1 篇 software enginee...
  • 1 篇 subsumption unde...
  • 1 篇 probabilistic lo...
  • 1 篇 hybrid systems
  • 1 篇 gpgpu
  • 1 篇 program analysis
  • 1 篇 architecture

机构

  • 2 篇 katholieke univ ...
  • 2 篇 univ york dept c...
  • 1 篇 kuleuven leuven
  • 1 篇 sri int menlo pk...
  • 1 篇 inria nancy - gr...
  • 1 篇 univ porto cracs...
  • 1 篇 the pennsylvania...
  • 1 篇 stockholm univ d...
  • 1 篇 univ wisconsin d...
  • 1 篇 nancy-université...
  • 1 篇 microsoft corp r...
  • 1 篇 univ porto fac e...
  • 1 篇 univ york york y...
  • 1 篇 univ porto cracs...
  • 1 篇 northeastern uni...
  • 1 篇 sofia univ st kl...
  • 1 篇 univ london impe...
  • 1 篇 ntt commun sci l...
  • 1 篇 simon fraser uni...
  • 1 篇 univ oxford comp...

作者

  • 3 篇 cussens james
  • 3 篇 kazakov dimitar
  • 2 篇 muggleton stephe...
  • 2 篇 srinivasan a
  • 2 篇 costa vitor sant...
  • 2 篇 fonseca nuno a.
  • 2 篇 camacho r
  • 2 篇 russo alessandra
  • 2 篇 algahtani eyad
  • 2 篇 camacho rui
  • 1 篇 yang yuan
  • 1 篇 sakama chiaki
  • 1 篇 janssens g
  • 1 篇 sasaki y
  • 1 篇 luís moniz perei...
  • 1 篇 rocha r
  • 1 篇 lamiroy bart
  • 1 篇 vieira jorge
  • 1 篇 kung-kiu lau
  • 1 篇 de raedt luc

语言

  • 58 篇 英文
  • 1 篇 中文
检索条件"任意字段=10th International Conference on Inductive Logic Programming, ILP 2000"
59 条 记 录,以下是51-60 订阅
排序:
Analysis and prediction of heart diseases using inductive logic and image segmentation  4th
Analysis and prediction of heart diseases using inductive lo...
收藏 引用
4th international conference on Data Mining and Big Data, DMBD 2019
作者: Anand Hareendran, S. Vinod Chandra, S.S. Prasad, Sreedevi Muthoot Institute of Technology and Science Kochi India University of Kerala Trivandrum India RIET Trivandrum India
the human heart's electrical activity produces currents that radiate through the surrounding tissue to the skin. When electrodes are attached to the skin, they sense these electrical currents and transmit them to ... 详细信息
来源: 评论
10th international Workshop on Computer Science logic, CSL 1996 held with Annual conference of the European Association for Computer Science logic, EACSL 1996
收藏 引用
10th international Workshop on Computer Science logic, CSL 1996, 5th Annual conference of the European Association for Computer Science logic, EACSL 1996
the proceedings contain 28 papers. the special focus in this conference is on Computer Science logic. the topics include: Four-valued diagnoses for stratified knowledge-bases;on the subject reduction property for alge...
来源: 评论
10th international Symposium on Methodologies for Intelligent Systems, ISMIS 1997
收藏 引用
10th international Symposium on Methodologies for Intelligent Systems, ISMIS 1997
the proceedings contain 60 papers. the special focus in this conference is on logic for AI, Learning and Discovery Systems. the topics include: Goal-oriented multimedia dialogue with variable initiative;knowledge-base...
来源: 评论
6th international conference on Artificial Intelligence and Symbolic Computation, AISC 2002 held jointly with 10th symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2002
收藏 引用
Joint conferences on 6th Artificial Intelligence and Symbolic Computation, AISC 2002 and 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2002
the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, Automated Reasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-ord...
来源: 评论
Fast narrowing-driven partial evaluation for inductively sequential programs  05
Fast narrowing-driven partial evaluation for inductively seq...
收藏 引用
10th ACM SIGPLAN international conference on Functional programming, ICFP 2005
作者: Ramos, J. Guadalupe Silva, Josep Vidal, Germán I.T. la Piedad Av. Tecnológico 2000 La Piedad Mich. Mexico DSIC Tech. University of Valencia Camino de Vera s/n E-46022 Valencia Spain
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scal... 详细信息
来源: 评论
Synthesizing Switching logic Using Constraint Solving
Synthesizing Switching Logic Using Constraint Solving
收藏 引用
10th international conference on Verification, Model Checking and Abstract Interpretation
作者: Taly, Ankur Gulwani, Sumit Tiwari, Ashish Stanford Univ Dept Comp Sci Stanford CA 94305 USA Microsoft Corp Redmond WA 98052 USA SRI Int Menlo Pk CA 94025 USA
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. this approach works by searching for inductive invariants of a given form. In this paper, we extend that ... 详细信息
来源: 评论
6th Pacific Rim international conference on Artificial Intelligence, PRICAI 2000
6th Pacific Rim International Conference on Artificial Intel...
收藏 引用
6th Pacific Rim international conference on Artificial Intelligence, PRICAI 2000
the proceedings contain 121 papers. the special focus in this conference is on Foundations of AI, Induction, logic programming, Reinforcement Learning and Machine Learning. the topics include: Knowledge representation...
来源: 评论
A threshold logic-based reconfigurable logic element with a new programming technology  10th
收藏 引用
10th international conference on Field-Programmable logic and Applications, FPL 2000
作者: Aoyama, Kazuo Sawada, Hiroshi Nagoya, Akira Nakajima, Kazuo NTT Communication Science Laboratories 2-4 Hikaridai Seika-cho Soraku-gun Kyoto619-0237 Japan NTT Network Innovation Laboratories 1-1 Hikarinooka Yokosuka-Shi Kanagawa239-0847 Japan Department of Electrical and Computer Engineering University of Maryland College ParkMD20742 United States
We introduce a new reconfigurable logic element. Its operations are based on threshold logic and it can store its own configuration data. the element is composed of threshold gates which are implemented in a two-level... 详细信息
来源: 评论
Optimal chain rule placement for instruction selection based on SSA graphs  07
Optimal chain rule placement for instruction selection based...
收藏 引用
10th international Workshop on Software and Compilers for Embedded Systems, SCOPES 2007
作者: Schäfer, Stefan Scholz, Bernhard School of IT University of Sydney Sydney NSW 2006
Instruction selection is a compiler optimisation that translates the intermediate representation of a program into a lower intermediate representation or an assembler program. We use the SSA form as an intermediate re... 详细信息
来源: 评论