咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
13th international conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2014
13th International Conference on Intelligent Software Method...
收藏 引用
13th international conference on New Trends in Intelligent Software Methodology Tools and Techniques, SoMeT 2014
the proceedings contain 27 papers. the special focus in this conference is on Artificial Intelligence Techniques in Software Engineering, Requirement Engineering, Intelligent Software Systems Design and Arts in Intera...
来源: 评论
Improving Unsatisfiability-Based Algorithms for Boolean Optimization  1
收藏 引用
13th international conference on theory and Applications of Satisfiability Testing
作者: Manquinho, Vasco Martins, Ruben Lynce, Ines Univ Tecn Lisboa IST INESC ID Lisbon Portugal
Recently, several unsatisfiability-based algorithms have been proposed for Maximum Satisfiability (MaxSAT) and other Boolean Optimization problems. these algorithms are based on being able to iteratively identify and ... 详细信息
来源: 评论
Verification, Model Checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Viktor Kuncak Andrey Rybalchenko
this book constitutes the refereed proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located ... 详细信息
来源: 评论
Parallel Implementation of Real-Time Semi-Global Matching on Embedded Multi-Core Architectures
Parallel Implementation of Real-Time Semi-Global Matching on...
收藏 引用
13th international conference on Embedded Computer Systems - Architectures, Modeling and Simulation (IC-SAMOS)
作者: Arndt, Oliver Jakob Becker, Daniel Banz, Christian Blume, Holger Leibniz Univ Hannover Inst Microelect Syst D-30167 Hannover Germany Corporate Techn D-81739 Munich Germany
Embedded real-time algorithms are often realized with dedicated hardware, exhibiting high production costs and low programming flexibility thereafter. For instance, semi-global matching for stereo image processing, in... 详细信息
来源: 评论
logic Based Program Synthesis and Transformation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Maurice Bruynooghe
this volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on logic-Based Program Synthesis and Transformation. the LOPSTR series is devoted to research in logic-based program development.... 详细信息
来源: 评论
Formal Methods and Software Engineering  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Shengchao Qin Zongyan Qiu
this book constitutes the refereed proceedings of the 13th international conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. the 40 revised full papers together with 3 invited talks... 详细信息
来源: 评论
Stream reasoning with answer set programming: Preliminary report
Stream reasoning with answer set programming: Preliminary re...
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Gebser, M. Grote, T. Kaminski, R. Obermeier, P. Sabuncu, O. Schaub, T. Universität Potsdam Germany DERI Galway Ireland Simon Fraser University Canada Griffith University Australia
the advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. While existing data-stream management systems allow for high-throughput stream process... 详细信息
来源: 评论
Tabular Interpretation of the Temporal Description logic LTLALC  13
Tabular Interpretation of the Temporal Description Logic LTL...
收藏 引用
13th international Scientific and Practical programming conference, UkrPROG 2022
作者: Reznichenko, Valerii Chystiakova, Inna Institute of Software Systems The National Academy of Sciences of Ukraine Academician Glushkov avenue 40 Kyiv03187 Ukraine
Description logic is widely used to describe and represent knowledge in the Semantic Web. It is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. thanks ... 详细信息
来源: 评论
13th international conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDGrC 2011
13th International Conference on Rough Sets, Fuzzy Sets, Dat...
收藏 引用
13th international conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDGrC 2011
the proceedings contain 56 papers. the special focus in this conference is on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing. the topics include: An Improved Variable Precision Model of Dominance-Based Rou...
来源: 评论
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... 详细信息
来源: 评论