咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Hoare-style reasoning from multiple contracts  13th
Hoare-style reasoning from multiple contracts
收藏 引用
13th international conference on Integrated Formal Methods, IFM 2017
作者: Owe, Olaf Ramezanifarkhani, Toktam Fazeldehkordi, Elahe Department of Informatics University of Oslo Oslo Norway
Modern software is often developed with advanced mechanisms for code reuse. A software module may build on other software modules or libraries where the source code is not available. And even if the source code is kno... 详细信息
来源: 评论
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... 详细信息
来源: 评论
logic programming and Nonmonotonic Reasoning: 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings  1
收藏 引用
丛书名: Lecture Notes in Computer Science 9345
2015年
作者: Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.)
this volume contains the refereed proceedings of the 13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa...
来源: 评论
Federating Public and Private Intelligent Services for IoT Applications  13
Federating Public and Private Intelligent Services for IoT A...
收藏 引用
13th international Wireless Communications and Mobile Computing conference (IWCMC)
作者: Shih, Chi-Sheng Chuang, Ching-Chi Yeh, Hsin-Yuan Natl Taiwan Univ Grad Inst Networking & Multimedia Embedded Syst & Wireless Networking Lab NTU IoX Res CtrDept Comp Sci & Informat Engn Taipei Taiwan
Many IoT applications require public information and private information to make correct decision and trigger appropriate services in efficient manner. Many existing IoT services use cloud-based service model. Cloud-b... 详细信息
来源: 评论
Balance control by diffuse logic for a phoenix hexapod robot
Balance control by diffuse logic for a phoenix hexapod robot
收藏 引用
international conference on Fuzzy Systems and Knowledge Discovery (FSKD)
作者: Darwin Alulema Cristian Andino Diego Rodríguez Víctor Proaño Alexander Ibarra Derlin Morocho Freddy Tapia Verónica Alulema Departamento de Eléctrica y Electrónica Universidad de las Fuerzas Armadas ESPE Sangolqui Ecuador Departamento de Ciencias de la Computación Universidad de las Fuerzas Armadas ESPE Sangolqui Ecuador
Using diffuse control algorithms, a position control for the six extremities of the Hexapod Robot was built. As input to the controller, a LIS3DSH accelerometer was used, which gives the Roll values for the angle in w... 详细信息
来源: 评论
logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015 Lexington, KY, USA, september 27–30, 2015 proceedings  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Calimeri, Francesco Ianni, Giovambattista Truszczynski, Miroslaw University of Calabria Rende Italy Department of Computer Science University of Kentucky LexingtonKY United States
来源: 评论
Objective functions for falsification of signal temporal logic properties in cyber-physical systems
Objective functions for falsification of signal temporal log...
收藏 引用
IEEE international conference on Automation Science and Engineering (CASE)
作者: Johan Eddeland Sajed Miremadi Martin Fabian Knut Åkesson Institution of Electrical Engineering Chalmers University of Technology Gothenburg Sweden Volvo Car Corporation Gothenburg Sweden
Cyber-physical systems, such as automation and automotive systems, are highly complex systems that are frequently also safety-critical. thus, it is important that these systems behave as intended, as incorrectness can... 详细信息
来源: 评论
Automatic Construction of Image Inspection Algorithm By using Image Processing Network programming  13
Automatic Construction of Image Inspection Algorithm By usin...
收藏 引用
13th international conference on Quality Control by Artificial Vision
作者: Yoshimura, Yuichiro Aoki, Kimiya Chukyo Univ Grad Sch Dept Informat Sci & Technol Nagoya Aichi Japan
In this paper, we discuss a method for automatic programming of inspection image processing. In the industrial field, automatic program generators or expert systems are expected to shorten a period required for develo... 详细信息
来源: 评论
On formal verification in imperative multivalued programming over continuous data types  13
On formal verification in imperative multivalued programming...
收藏 引用
13th international conference on Computability and Complexity in Analysis, CCA 2016
作者: Müller, Norbert Park, Sewon Preining, Norbert Ziegler, Martin Trier University Germany KAIST Korea Republic of JAIST Japan
来源: 评论
Resource provisioning for IoT application services in smart cities
Resource provisioning for IoT application services in smart ...
收藏 引用
international conference on Network and Service Management
作者: José Santos Tim Wauters Bruno Volckaert Filip De Turck Department of Information Technology IDLab Gent Belgium
In the last years, traffic over wireless networks has been increasing exponentially, due to the impact of Internet of things (IoT) and Smart Cities. Current networks must adapt to and cope with the specific requiremen... 详细信息
来源: 评论