咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是301-310 订阅
排序:
Linking VDM and Z
Linking VDM and Z
收藏 引用
IEEE international conference on Engineering of Complex Computer Systems
作者: Jim Woodcock Leo Freitas Department of Computer Science University of York York UK
the international Grand Challenge in Verified Software is benchmarking current verification technology by conducting a series of experiments, and one such experiment is to build a verified POSIX-compliant flash filest... 详细信息
来源: 评论
Game theory semantics for PCTL model checking label-extended probabilistic Petri net
Game theory semantics for PCTL model checking label-extended...
收藏 引用
international conference on Computer and Information Science (ACIS)
作者: Yang Liu School of Information Science and Technology Taishan University Taian Shandong China State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu China
Game theory has emerged as the powerful semantics for some programming languages and logical systems. At present, it is even used to model checking-based verification process. PCTL (probabilistic computation tree logi... 详细信息
来源: 评论
Data flow coherence criteria in ILP tools
Data flow coherence criteria in ILP tools
收藏 引用
international conference on Tools for Artificial Intelligence (ICTAI)
作者: S. Muresan T. Muresan R. Potolea Department of Computer Science Columbia University New York USA Department of Computer Science Technical University of Cluj-Napoca Department of Computer Science Technical University of Cluj Napoca Romania
In this paper we present a new method that uses data flow coherence criteria in definite logic program generation. We outline three main advantages of these criteria supported by our results: (i) drastically pruning t... 详细信息
来源: 评论
An Instance Based Model for Scalable theta -Subsumption
An Instance Based Model for Scalable Theta -Subsumption
收藏 引用
international conference on Tools for Artificial Intelligence (ICTAI)
作者: Hippolyte Léger Dominique Bouthinon Mustapha Lebbah Hanene Azzag Universite Paris 13 L.I.P.N UMR-CNRS 7030 Villetaneuse France
the θ-subsumption test is known to be a bottleneck in inductive logic programming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed θ-subsumption proc... 详细信息
来源: 评论
Development and application of a designer oriented cyclic simulator  76
Development and application of a designer oriented cyclic si...
收藏 引用
13th Design Automation conference, DAC 1976
作者: Parasch, G.J. Price, R.L. International Business Machines Corp. EndicottNY United States International Business Machines Corp. PoughkeepsieNY United States
Because of the increasing complexity of the role of the design engineer, in the design of digital systems, the need has arisen for a behavioral modeling technique which can be accurately controlled by the designer, wi... 详细信息
来源: 评论
Simulation of SoCs with embedded mixed-signal Cores using a Verilog High-Speed Virtual Serial Interface
Simulation of SoCs with embedded mixed-signal Cores using a ...
收藏 引用
13th IEEE international conference on Electronics, Circuits and Systems (ICECS'2006), vol.2
作者: Jan Schat Philips Semiconductors Hamburg Germany
In SoCs (System-on-Chip) with mixed-signal cores, both the functional behavior and the production tests should be simulated at top level before tape-out. the use of behavioral models for the analog and mixed-signal co... 详细信息
来源: 评论
On Automatic theorem Proving with ML
On Automatic Theorem Proving with ML
收藏 引用
Mexican international conference on Artificial Intelligence, MICAI
作者: Juan Pablo Muñoz Toriz Iván Martínez Ruiz José Arrazola Ramírez Fac. de Cienc. Fisico Mat. Benemerita Universidad Autonoma de Puebla Puebla Puebla MX Facultad de Ciencias Físico Matemáticas Benémerita Universidad Autónoma de Puebla Puebla México
In this paper, we describe the development of a series of automatic theorem provers for a variety of logics. Provers are developed from a functional approach. the first prover is for Classical Propositional Calculus (... 详细信息
来源: 评论
Model based task programming for secure multimodal human-robot interaction
Model based task programming for secure multimodal human-rob...
收藏 引用
international conference on Control, Automation, Robotics and Vision (ICARCV)
作者: Liyong Lin Rong Su Hendra Suratno Tju Gerald Seet Gim Lee School of Electrical and Electronic Engineering Nanyang Technological University Singapore School of Mechanical and Aerospace Engineering Nanyang Technological University Singapore School of Mechanical and Aerospace Engineering Nanyang Technological University Singapore
this note presents a preliminary study on a high-level model based task programming framework for secure multimodal human-robot interaction in industrial context. the case study of robotic polishing tasks, in particul... 详细信息
来源: 评论
Intrusion detection based on genetic fuzzy classification system
Intrusion detection based on genetic fuzzy classification sy...
收藏 引用
ACS/IEEE international conference on Computer Systems and Applications
作者: Mariem Belhor Farah Jemili University of Sousse Sousse Tunisia
Information system is vital for any company. However, the opening to the outside world makes the computer system more vulnerable to attack. It is essential to protect it. Intrusion Detection System (IDS) is an auditin... 详细信息
来源: 评论
Schema-guided synthesis of constraint logic programs  98
Schema-guided synthesis of constraint logic programs
收藏 引用
IEEE international conference on Automated Software Engineering (ASE)
作者: P. Flener H. Zidoum B. Hnich Department of Information Science University of Uppsala Uppsala Sweden United Arab Emirates University Al-Ain UAE Department of Information Technology Tampere University of Technology Tampere Finland
By focusing on the families of assignment and permutation problems (such as graph colouring and n-Queens), we show how to adapt D.R. Smith's (1990) KIDS approach for the synthesis of constraint programs (with impl... 详细信息
来源: 评论