咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 4 册 图书

馆藏范围

  • 329 篇 电子文献
  • 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 ...
  • 12 篇 programming
  • 10 篇 logic gates
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 6 篇 artificial intel...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...
  • 4 篇 model checking
  • 4 篇 java
  • 4 篇 computer languag...
  • 4 篇 integer programm...
  • 4 篇 hardware

机构

  • 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

语言

  • 317 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
329 条 记 录,以下是161-170 订阅
排序:
Foundations of coloring algebra with consequences for feature-oriented programming
Foundations of coloring algebra with consequences for featur...
收藏 引用
13th international conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012
作者: Höfner, Peter Möller, Bernhard Zelend, Andreas NICTA Australia Universität Augsburg Germany University of New South Wales Australia
In 2011, simple and concise axioms for feature compositions, interactions and products have been proposed by Batory et al. they were mainly inspired by Kästner's Colored IDE (CIDE) as well as by experience in... 详细信息
来源: 评论
JASP: A framework for integrating answer set programming with Java
JASP: A framework for integrating answer set programming wit...
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Febbraro, Onofrio Grasso, Giovanni Leone, Nicola Ricca, Francesco DLVSystem s.r.l. P.zza Vermicelli Polo Tecnologico Rende Italy Oxford University Department of Computer Science Parks Road Oxford United Kingdom University of Calabria Department of Mathematics Rende Italy
Answer Set programming (ASP) is a fully-declarative logic programming paradigm, which has been proposed in the area of knowledge representation and non-monotonic reasoning. Nowadays, the formal properties of ASP are w... 详细信息
来源: 评论
Surface potential compact model for embedded flash devices oriented to IC memory design
Surface potential compact model for embedded flash devices o...
收藏 引用
international conference on Ultimate Integration of Silicon, ULIS
作者: Davide Garetto Denis Rideau Fabien Gilibert Alexandre Schmid Hervé Jaouen Yusuf Leblebici IBM Systems and Technology Group Crolles France Ecole Polytechnique Fédérale de Lausanne Lausanne Switzerland STMicroelectronics Crolles France
A surface potential-based model for embedded flash memory cells has been developed with the purpose of providing a comprehensive physical understanding of the device operation suitable for performance optimization in ... 详细信息
来源: 评论
OOFM - A feature modeling approach to implement MPLs and DSPLs
OOFM - A feature modeling approach to implement MPLs and DSP...
收藏 引用
IEEE international conference on Information Reuse and Integration (IRI)
作者: Victor Travassos Sarinho Antônio L. Apolinário Eduardo S. de Almeida UEFS-DEXA Feira de Santana Bahia Brazil UEFS-DEXA Av. Transnordestina S/N Feira de Santana-BA UFBA-IM Salvador Bahia Brazil UFBA-IM Av. Adhemar de Barros S/N Campus Ondina Salvador Bahia UFBA RiSE Av. Adhemar de Barros S/N Campus Ondina Salvador Bahia
this paper uses the Object Oriented Feature Modeling (OOFM) technique to develop Multiple Product Lines (MPLs) and Dynamic SPLs (DSPLs). the idea is combine defined OOFM resources in a Model-View-Controller (MVC) arch... 详细信息
来源: 评论
Coalgebraic Semantics for Parallel Derivation Strategies in logic programming
Coalgebraic Semantics for Parallel Derivation Strategies in ...
收藏 引用
13th international conference on Algebraic Methodology and Software Technology
作者: Komendantskaya, Ekaterina McCusker, Guy Power, John Univ Dundee Dept Comp Dundee DD1 4HN Scotland Univ Bath Dept Comp Sci Bath England
logic programming, a class of programming languages based on first-order logic, provides simple and efficient tools for goal-oriented proof-search. logic programming supports recursive computations, and some logic pro... 详细信息
来源: 评论
the discovery of frequent patterns with logic and constraint programming
The discovery of frequent patterns with logic and constraint...
收藏 引用
13th WSEAS international conference on Mathematical Methods, Computational Techniques and Intelligent Systems, MAMECTIS'11, 10th WSEAS international conference on Non-Linear Analysis, Non-Linear Systems and Chaos, NOLASC'11, CONTROL'11, WAMUS'11
作者: Kerdprasop, Nittaya Kerdprasop, Kittisak Data Engineering Research Unit School of Computer Engineering Suranaree University of Technology 111 University Avenue Nakhon Ratchasima 30000 Thailand
the basic goal of data mining is to discover patterns occurring in the databases, such as associations, classification models, sequential patterns, and so on. In this paper we focus on the problem of frequent pattern ... 详细信息
来源: 评论
Incremental Learning of Relational Action Models in Noisy Environments
收藏 引用
20th international conference on inductive logic programming (ILP)
作者: Rodrigues, Christophe Gerard, Pierre Rouveirol, Celine Univ Paris 13 LIPN A3 F-93430 Villetaneuse France
In the Relational Reinforcement Learning framework, we propose an algorithm that learns an action model (or an approximation of the transition function) in order to predict the resulting state of an action in a given ... 详细信息
来源: 评论
Algebraic Methodology and Software Technology - 13th international conference, AMAST 2010, Revised Selected Papers
Algebraic Methodology and Software Technology - 13th Interna...
收藏 引用
13th international conference on Algebraic Methodology and Software Technology, AMAST 2010
the proceedings contain 15 papers. the topics discussed include: structural analysis for stochastic process algebra models;verification of common interprocedural compiler optimizations using visibly pushdown Kleene al...
来源: 评论
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and logic programming
Cooperation of Algebraic Constraint Domains in Higher-Order ...
收藏 引用
13th international conference on Algebraic Methodology and Software Technology
作者: del Vado Virseda, Rafael Univ Complutense Madrid Dpto Sistemas Informat & Computac E-28040 Madrid Spain
this paper presents a theoretical framework for the integration of the cooperative constraint solving of several algebraic domains into higher-order functional and logic programming on A-abstractions, using an instanc... 详细信息
来源: 评论
Computer Aided threat Identification
Computer Aided Threat Identification
收藏 引用
13th IEEE international conference on Commerce and Enterprise Computing (CEC)
作者: Asnar, Yudistira Li, Tong Massacci, Fabio Paci, Federica Univ Trento DISI Trento Italy Tsinghua Univ Sch Software Beijing Peoples R China
Recently, there has been an increase of reported security threats hitting organizations. Some of them are originated from the assignments to users of inappropriate permissions on organizational sensitive data. thus it... 详细信息
来源: 评论