咨询与建议

限定检索结果

文献类型

  • 103 篇 会议
  • 19 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 93 篇 工学
    • 92 篇 计算机科学与技术...
    • 76 篇 软件工程
    • 4 篇 控制科学与工程
    • 3 篇 电气工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 信息与通信工程
    • 1 篇 化学工程与技术
    • 1 篇 食品科学与工程(可...
    • 1 篇 安全科学与工程
  • 61 篇 理学
    • 57 篇 数学
    • 3 篇 系统科学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
  • 3 篇 医学
    • 1 篇 基础医学(可授医学...
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 22 篇 logic programmin...
  • 17 篇 answer set progr...
  • 9 篇 semantics
  • 6 篇 logic
  • 6 篇 computer languag...
  • 5 篇 programming
  • 5 篇 inductive logic ...
  • 4 篇 program transfor...
  • 4 篇 java
  • 4 篇 distributed comp...
  • 3 篇 software systems
  • 3 篇 programming prof...
  • 3 篇 electronic mail
  • 3 篇 parallel program...
  • 3 篇 stable models
  • 3 篇 visualization
  • 3 篇 machine learning
  • 3 篇 verification
  • 2 篇 termination and ...
  • 2 篇 tools

机构

  • 4 篇 imdea software i...
  • 2 篇 alan turing inst...
  • 2 篇 roskilde univ ro...
  • 2 篇 univ melbourne d...
  • 2 篇 univ piemonte or...
  • 2 篇 univ nova lisboa...
  • 2 篇 dept informat p-...
  • 2 篇 spanish council ...
  • 2 篇 katholieke univ ...
  • 2 篇 kobe univ nada k...
  • 2 篇 university of ox...
  • 2 篇 abb research lad...
  • 2 篇 sabanci univ fac...
  • 2 篇 univ alberta edm...
  • 2 篇 abb research ban...
  • 2 篇 univ potsdam d-1...
  • 2 篇 res org informat...
  • 2 篇 macquarie univ d...
  • 2 篇 univ so calif de...
  • 2 篇 suny stony brook...

作者

  • 4 篇 stuckey peter j.
  • 3 篇 bartholomew mich...
  • 3 篇 schaub torsten
  • 3 篇 hermenegildo man...
  • 3 篇 zhang yan
  • 3 篇 balduccini marce...
  • 3 篇 erdem esra
  • 3 篇 chu geoffrey
  • 3 篇 aziz rehan abdul
  • 3 篇 morales jose f.
  • 3 篇 lee joohyung
  • 3 篇 inoue katsumi
  • 2 篇 uras tansel
  • 2 篇 giordano laura
  • 2 篇 dumancic sebasti...
  • 2 篇 soh takehide
  • 2 篇 maher michael j.
  • 2 篇 spiotta matteo
  • 2 篇 jorissen albert
  • 2 篇 janssens gerda

语言

  • 122 篇 英文
  • 1 篇 中文
检索条件"任意字段=29th International Conference on Inductive Logic Programming"
123 条 记 录,以下是101-110 订阅
排序:
Aspartame: Solving constraint satisfaction problems with answer set programming  6
Aspartame: Solving constraint satisfaction problems with ans...
收藏 引用
6th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th international conference on logic programming, ICLP 2013
作者: Banbara, M. Gebser, M. Inoue, K. Schaub, T. Soh, T. Tamura, N. Weise, M. University of Kobe Japan University of Potsdam Germany National Institute of Informatics Tokyo Japan
Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective, as exemplified by the award-winning sugar system. We here develop an alternative approach... 详细信息
来源: 评论
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support
SeaLion: An eclipse-based IDE for answer-set programming wit...
收藏 引用
29th international conference on logic programming ICLP
作者: Busoniu, Paula-Andra Oetsch, Johannes Puehrer, Joerg Skocovsky, Peter Tompits, Hans Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria Univ Nova Lisboa CENTRIA P-2829516 Caparica Portugal Dept Informat P-2829516 Caparica Portugal
In this paper, we present SeaLion, an integrated development environment (IDE) for answer-set programming (ASP). SeaLion provides source-code editors for the languages of Gringo and DLV and offers popular amenities li... 详细信息
来源: 评论
Answer set programming as a modeling language for course timetabling
Answer set programming as a modeling language for course tim...
收藏 引用
29th international conference on logic programming ICLP
作者: Banbara, Mutsunori Soh, Takehide Tamura, Naoyuki Inoue, Katsumi Schaub, Torsten Kobe Univ Nada Ku Kobe Hyogo 6578501 Japan Res Org Informat & Syst Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan Univ Potsdam D-14482 Potsdam Germany
the course timetabling problem can be generally defined as the task of assigning a number of lectures to a limited set of timeslots and rooms, subject to a given set of hard and soft constraints. the modeling language... 详细信息
来源: 评论
Formal Techniques for Distributed Systems - Joint 11th IFIP WG 6.1 international conference, FMOODS 2009 and 29th IFIP WG 6.1 international conference, FORTE 2009, Proceedings
Formal Techniques for Distributed Systems - Joint 11th IFIP ...
收藏 引用
11th international conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009 and 29th international conference on Formal Techniques for Networked and Distributed Systems, FORTE 2009
the proceedings contain 19 papers. the topics discussed include: the Orc programming language;keep it small, keep it real: efficient run-time verification of web service compositions;approximated context-sensitive ana...
来源: 评论
Drugs and Drug-Like Compounds: Discriminating Approved Pharmaceuticals from Screening-Library Compounds
Drugs and Drug-Like Compounds: Discriminating Approved Pharm...
收藏 引用
4th international conference Pattern Recognition in Bioinformatics
作者: Schierz, Amanda C. King, Ross D. Bournemouth Univ Software Syst Res Grp Poole HouseTalbot Campus Poole BH12 5BB Dorset England Aberystwyth Univ Computat Biol Res Grp Aberystwyth SY23 3DB Dyfed Wales
Compounds in drug screening-libraries should resemble pharmaceuticals. To operationally test this, we analysed the compounds in terms of known drug-like filters and developed a novel machine learning method to discrim... 详细信息
来源: 评论
Relational sequence alignments and logos
Relational sequence alignments and logos
收藏 引用
16th international conference on inductive logic programming
作者: Karwath, Andreas Kersting, Kristian Univ Freiburg Inst Comp Sci Machine Learning Lab Georges Koehler AlleeBldg 079 D-79110 Freiburg Germany
the need to measure sequence similarity arises in many applicitation domains and often coincides with sequence alignment: the more similar two sequences are, the better they can be aligned. Aligning sequences not only... 详细信息
来源: 评论
ACL2s: "the ACL2 sedan"  07
ACL2s: "The ACL2 sedan"
收藏 引用
29th international conference on Software Engineering (ICSE 2007)
作者: Dillinger, Peter C. Manolios, Panagiotis Vroon, Daron Moore, J. Strother Georgia Inst Technol Coll Comp Atlanta GA 30332 USA Univ Texas Dept Comp Sci Austin TX 78712 USA
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race car, and it has been used to prove some... 详细信息
来源: 评论
A Clinical Set-up Tool (CST) For Rapid Stimulator programming
A Clinical Set-up Tool (CST) For Rapid Stimulator Programmin...
收藏 引用
29th Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBS 2007), vol.9
作者: P. Tresadern S. B. thies L. P. J. Kenney D. Howard J. Y. Goulermas Centre for Rehabilitation and Human Performance Research University of Sanford UK Department of Electrical Engineering and Electronics University of Liverpool UK
this paper presents an intuitive approach to the programming of Functional Electrical Stimulation (FES) hardware. A stimulation sequence is defined as a Finite State Machine (FSM) that is created and modified via an e... 详细信息
来源: 评论
Analysing Gene Regulatory Networks by both Constraint programming and Model-Checking
Analysing Gene Regulatory Networks by both Constraint Progra...
收藏 引用
29th Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBS 2007), vol.11
作者: Jonathan Fromentin Jean-Paul Comet Pascale Le Gall Olivier Roux IRCCyN UMR 6597 CNRS École Centrale de Nantes Nantes France IBISC UMR 8042 & CNRS Université d'Evry Evry France
In this article, we propose a formal method to analyse gene regulatory networks (GRN). the dynamics of such systems is often described by an ordinary differential equation system, but has also been abstracted into a d... 详细信息
来源: 评论
Tracking Code Clones in Evolving Software
Tracking Code Clones in Evolving Software
收藏 引用
international conference on Software Engineering (ICSE)
作者: Ekwa Duala-Ekoko Martin P. Robillard School of Computer Science McGill University Montreal QUE Canada
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has provided evidence that it may not always... 详细信息
来源: 评论