咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是321-330 订阅
排序:
A Predictable Transactional Memory Architecture with Selective Conflict Resolution for Mixed-Criticality Support in MPSoCs
A Predictable Transactional Memory Architecture with Selecti...
收藏 引用
IEEE/IFIP international conference on Embedded and Ubiquitous Computing, EUC
作者: Zaher Owda Roman Obermaisser University of Siegen Germany
Transactional memories can radically simplify the programming of mixed-criticality systems by offering atomicity, consistency and isolation guarantees between subsystems of different criticality. A major objective 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... 详细信息
来源: 评论
Task oriented software understanding
Task oriented software understanding
收藏 引用
IEEE international conference on Automated Software Engineering (ASE)
作者: A. Erdem W.L. Johnson S. Marsella Computer Science Department USC Information Sciences Institute Marina del Rey CA USA
the main factors that affect software understanding are the complexity of the problem solved by the program, the program text, the user's mental ability and experience and the task being performed. the paper descr... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Designing and programming “Gameland” web portal focusing on serious games
Designing and programming “Gameland” web portal focusing o...
收藏 引用
international conference on Emerging eLearning Technologies and Applications (ICETA)
作者: M. Hosťovecký L. Lipovský D. Tóthová University of Ss. Cyril and Methodius / Department of Applied Informatics and Math Trnava Slovakia University of Ss. Cyril and Methodius/Department of Applied Informatics and Math Trnava Slovakia Slovak University of Agricultural in Nitra/Centre of Information Technologies Nitra Slovakia
the main purpose of the present paper was to design and develop a web portal that would store intelligent educational games aiming to eliminate cognitive shortcomings in elementary and secondary school pupils. the des... 详细信息
来源: 评论
A generic query-translation framework for a mediator architecture
A generic query-translation framework for a mediator archite...
收藏 引用
international conference on Data Engineering
作者: J. Calmet S. Jekutsch J. Schu Department of Computer Science Institute for Algorithms and Cognitive Systems University of Karlsruhe Germany
A mediator is a domain-specific tool to support uniform access to multiple heterogeneous information sources and to abstract and combine data from different but related databases to gain new information. this middlewa... 详细信息
来源: 评论
Verification of a combinational loop based arbitration scheme in a system-on-chip integration architecture
Verification of a combinational loop based arbitration schem...
收藏 引用
international conference on VLSI Design
作者: Y. Xia P. Ashar C CRL NEC-USA Inc. Princeton NJ USA
We tackle the problem of verifying correctness properties on an HDL implementation of a system-on-chip bus-based integration architecture. the bus architecture is characterized by a 2-level arbitration scheme and the ... 详细信息
来源: 评论