咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
On Energy Efficient Scheduling and Load Distribution Based on Renewable Energy for Wireless Mesh Network in Disaster Area
On Energy Efficient Scheduling and Load Distribution Based o...
收藏 引用
IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
作者: Meng Li Hiroki Nishiyama Yasunori Owada Kiyoshi Hamaguchi Graduate School of Information Sciences Tohoku University Japan National Institute of Information and Communication Technology Japan
In recent years, disasters happened in many places, and resulted in power shortage and communication interruption. the Wireless Mesh Networks (WMNs) constituted by Renewable Energy-enabled Base Station (REBS) is regar... 详细信息
来源: 评论
Aspectual Source Code Analysis with GASR
Aspectual Source Code Analysis with GASR
收藏 引用
13th IEEE international Working conference on Source Code Analysis and Manipulation (SCAM)
作者: Fabry, Johan De Roover, Coen Jonckers, Viviane Univ Chile PLEIAD Lab Dept Comp Sci DCC Santiago Chile Vrije Univ Brussel Software Languages Lab Brussels Belgium
To be able to modularize crosscutting concerns, aspects introduce new programming language features, often in a new language, with a specific syntax. these new features lead to new needs for source code analysis tools... 详细信息
来源: 评论
Probabilistic abductive logic programming: A joint approach of logic and probability  1
Probabilistic abductive logic programming: A joint approach ...
收藏 引用
1st Doctoral Workshop in Artificial Intelligence, DWAI 2013, An Official Workshop of the 13th international conference of the Italian Association for Artificial Intelligence, AI*IA 2013
作者: Rotella, F. Ferilli, S. Dipartimento di Informatica Universit di Bari Italy Centro Interdipartimentale per la Logica e sue Applicazioni Universit di Bari Italy
来源: 评论
Proceedings - 2013 13th international conference on Application of Concurrency to System Design, ACSD 2013
Proceedings - 2013 13th International Conference on Applicat...
收藏 引用
2013 13th international conference on Application of Concurrency to System Design, ACSD 2013
the proceedings contain 25 papers. the topics discussed include: maximal synthesis for Hennessy-Milner logic;incremental bisimulation abstraction refinement;a new multi-threaded code synthesis methodology and tool for...
来源: 评论
Comparing alternative solutions for unfounded set propagation in ASP
Comparing alternative solutions for unfounded set propagatio...
收藏 引用
13th international conference of the Italian Association for Artificial Intelligence, AI*IA 2013
作者: Alviano, Mario Dodaro, Carmine Ricca, Francesco Department of Mathematics and Computer Science University of Calabria 87036 Rende Italy
Answer Set programming (ASP) is a logic programming language for nonmonotonic reasoning. Propositional ASP programs are usually evaluated by DPLL algorithms combining unit propagation with operators that are specific ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Syntax-Guided Synthesis
Syntax-Guided Synthesis
收藏 引用
13th international conference on Formal Methods in Computer-Aided Design (FMCAD)
作者: Alur, Rajeev Bodik, Rastislav Juniwal, Garvit Martin, Milo M. K. Raghothaman, Mukund Seshia, Sanjit A. Singh, Rishabh Solar-Lezama, Armando Torlak, Emina Udupa, Abhishek Univ Penn Philadelphia PA 19104 USA Univ Calif Berkeley Berkeley CA USA MIT Cambridge MA 02139 USA
the classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates ... 详细信息
来源: 评论
Mining Probabilistic Frequent Spatio-Temporal Sequential Patterns with Gap Constraints from Uncertain Databases
Mining Probabilistic Frequent Spatio-Temporal Sequential Pat...
收藏 引用
IEEE international conference on Data Mining (ICDM)
作者: Yuxuan Li James Bailey Lars Kulik Jian Pei Department of Computing and Information Systems The University of Melbourne VIC Australia School of Computing Science Simon Fraser University Canada
Uncertainty is common in real-world applications, for example, in sensor networks and moving object tracking, resulting in much interest in item set mining for uncertain transaction databases. In this paper, we focus ... 详细信息
来源: 评论
Allocation of solar units to reduce annual costs of the distribution system
Allocation of solar units to reduce annual costs of the dist...
收藏 引用
international conference on Environment and Electrical Engineering (EEEIC)
作者: Mahmood Sadeghi Mohsen Kalantar Dept. of Electrical Engineering Iran University of Science and Technology Tehran Iran
It is widely accepted that renewable sources can find their significant role in power distribution systems. these non-pollutant resources have a lot of advantages such as reducing active power loss, increasing reliabi... 详细信息
来源: 评论
Probabilistic neuromorphic system using binary phase-change memory (PCM) synapses: Detailed power consumption analysis
Probabilistic neuromorphic system using binary phase-change ...
收藏 引用
IEEE conference on Nanotechnology
作者: Daniele Garbin Manan Suri Olivier Bichler Damien Querlioz Christian Gamrat Barbara DeSalvo CEA-LETI-MINATEC Grenoble France CEA-LIST France IEF-Paris Orsay France CEA-LETIMINATEC 38054 Grenoble France
In this paper we investigate the use of phase-change memory (PCM) devices as binary probabilistic synapses in a neuromorphic computing system for complex visual pattern extraction. Different PCM programming schemes fo... 详细信息
来源: 评论