咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 18 册 图书

馆藏范围

  • 472 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 16 篇 artificial intel...
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 software enginee...
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 programming tech...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 8 篇 programming lang...
  • 8 篇 logics and meani...
  • 8 篇 logic design
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 466 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
472 条 记 录,以下是121-130 订阅
排序:
Optimal resource allocation and scheduling for the CELL BE platform
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2011年 第1期184卷 51-77页
作者: Benini, Luca Lombardi, Michele Milano, Michela Ruggiero, Martino Univ Bologna DEIS I-40136 Bologna Italy
Resource allocation and scheduling for multicore platforms is one of the most critical challenges in today's embedded computing. In this paper we focus on a well-known multicore platform, namely the Cell BE proces... 详细信息
来源: 评论
Can OWL and logic programming live together happily ever after?
收藏 引用
5th International Semantic Web conference (ISWC 2006)
作者: Motik, Boris Horrocks, Ian Rosati, Riccardo Sattler, Ulrike Univ Manchester Manchester Lancs England Univ Roma La Sapienza Rome Italy
logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the op... 详细信息
来源: 评论
Mixed Integer programming, General Concept Inclusions and Fuzzy Description logics
Mixed Integer Programming, General Concept Inclusions and Fu...
收藏 引用
5th conference of the European-Society-for-Fuzzy-logic-and-Technology
作者: Straccia, Umberto Bobillo, Fernando CNR ISTI I-56100 Pisa Italy Univ Granada Dept Comp Sci & AI E-18071 Granada Spain
Fuzzy Description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear programming has been proposed to deal with ... 详细信息
来源: 评论
Flocking of subpopulations in distributed genetic programming
Flocking of subpopulations in distributed genetic programmin...
收藏 引用
5th International conference on Intelligent Systems Design and Applications, ISDA '05
作者: Paulikas, Giedrius Rubliauskas, Dalius Department of Practical Informatics Kaunas University of Technology Studentu St. 50 LT-3031 Kaunas Lithuania
the distribution of the genetic programming algorithm improves the efficiency of the search for the solution, but additional parameters of this distribution are undesirable. this paper presents the analysis of early e... 详细信息
来源: 评论
logic programming with worlds
Logic programming with worlds
收藏 引用
Proceedings of the 5th International conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92)
作者: Dichev, C.
来源: 评论
A Normal Form for Euler Diagrams with Shading
A Normal Form for Euler Diagrams with Shading
收藏 引用
5th International conference on Diagrammatic Representation and Inference
作者: Fish, Andrew John, Chris Taylor, John Univ Brighton Visual Modelling Grp Brighton E Sussex England
In logic, there are various normal forms for formulae;for example, disjunctive and conjunctive normal form for formulae of propositional logic or prenex normal form for formulae of predicate logic. there are algorithm... 详细信息
来源: 评论
Crowd Sensing Applications: a Distributed Flow-Based programming Approach  5
Crowd Sensing Applications: a Distributed Flow-Based Program...
收藏 引用
5th IEEE International conference on Mobile Services (MS)
作者: Zaman, Jesse De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab Brussels Belgium
Over the past few years, there has been an increasing demand for crowd sensing applications. While existing mobile app designers greatly facilitate the development of crowd sensing applications for non-ICT experts, th... 详细信息
来源: 评论
5th International Symposium on programming Language Implementation and logic programming, PLILP 1993
5th International Symposium on Programming Language Implemen...
收藏 引用
5th International Symposium on programming Language Implementation and logic programming, PLILP 1993
the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logic programming. the topics include: Executable specifications for language implementation;avoidi...
来源: 评论
INDEFINITE AND GCWA INFERENCE IN INDEFINITE DEDUCTIVE DATABASES  5
INDEFINITE AND GCWA INFERENCE IN INDEFINITE DEDUCTIVE DATABA...
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
作者: Henschen, Lawrence J. Park, Hyung-Sik Northwestern University Department of EECS EvanstonIL60201 United States
this paper presents several basic results on compiling indefinite and GCWA(Generalized Closed World Assumption) inference in IDDB(Indefinite Dedutive Databases). We do not allow function symbols, but do allow non-Horn... 详细信息
来源: 评论
5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018
5th International Workshop on FPGAs for Software Programmers...
收藏 引用
5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018
the proceedings contain 9 papers. the topics discussed include: using Linux FIFOs to allow flexible hardware/software communications on reconfigurable systems-on-chip;improved parallelization of legacy embedded softwa...
来源: 评论