咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Induction on Failure: Learning Connected Horn theories
收藏 引用
10th international conference on logic programming and Nonmonotonic Reasoning
作者: Kimber, Tim Broda, Krysia Russo, Alessandra Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England
Several learning systems based on Inverse Entailment (IE) have been proposed, some that compute single clause hypotheses, exemplified by Progol, and others that, produce multiple clauses in response to a single seed e... 详细信息
来源: 评论
inductive logic programming - 18th international conference, ilp 2008, Proceedings
收藏 引用
18th international conference on inductive logic programming, ilp 2008
the proceedings contain 20 papers. the topics discussed include: building theories of the world: human and machine learning perspectives;SRL without tears: an ilp perspective;semantic web meets ilp: unconsumated love,...
来源: 评论
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 ... 详细信息
来源: 评论
Structured machine learning: the next ten years
收藏 引用
MACHINE LEARNING 2008年 第1期73卷 3-23页
作者: Dietterich, thomas G. Domingos, Pedro Getoor, Lise Muggleton, Stephen Tadepalli, Prasad Oregon State Univ Corvallis OR 97331 USA Univ Washington Seattle WA 98195 USA Univ Maryland College Pk MD 20742 USA Univ London Imperial Coll Sci Technol & Med London England
the field of inductive logic programming (ilp) has made steady progress, since the first ilp workshop in 1991, based on a balance of developments in theory, implementations and applications. More recently there has be... 详细信息
来源: 评论
Challenges in Relational Learning for Real-Time Systems Applications
收藏 引用
18th international conference on inductive logic programming
作者: Bartlett, Mark Bate, Iain Kazakov, Dimitar Univ York Dept Comp Sci Artificial Intelligence Grp York YO10 5DD N Yorkshire England Univ York Dept Comp Sci Real Time Syst Grp York N Yorkshire England
the problem of determining the Worse Case Execution Time (WCET) of a piece of code is a fundamental one in the Real Time Systems community. Existing methods either try to gain this information by analysis of the progr... 详细信息
来源: 评论
inductive mercury programming
Inductive mercury programming
收藏 引用
16th international conference on inductive logic programming
作者: Fisher, Barnaby Cussens, James Univ York Dept Comp Sci York YO10 5DD N Yorkshire England
We investigate using the Mercury language to implement and design ilp algorithms, presenting our own ilp system IMP. Mercury provides faster execution than Prolog. Since Mercury is a purely declarative language, run-t... 详细信息
来源: 评论
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... 详细信息
来源: 评论
inductive logic programming  2005
收藏 引用
丛书名: Lecture Notes in Computer Science
2005年
作者: Stefan Kramer Bernhard Pfahringer
来源: 评论
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... 详细信息
来源: 评论
ilp: A short look back and a longer look forward
ILP: A short look back and a longer look forward
收藏 引用
10th international conference on inductive logic programming (ilp2000)
作者: Page, D Srinivasan, A Univ Wisconsin Dept Biostat & Med Informat Madison WI 53706 USA Univ Wisconsin Dept Comp Sci Madison WI 53706 USA Univ Oxford Comp Lab Oxford OX1 3QD England
inductive logic programming (ilp) is built on a foundation laid by research in machine learning and computational logic. Armed with this strong foundation, ilp has been applied to important and interesting problems in... 详细信息
来源: 评论