咨询与建议

限定检索结果

文献类型

  • 181 篇 会议
  • 18 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 149 篇 工学
    • 134 篇 计算机科学与技术...
    • 95 篇 软件工程
    • 7 篇 电气工程
    • 7 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 4 篇 机械工程
    • 3 篇 电子科学与技术(可...
    • 1 篇 建筑学
    • 1 篇 交通运输工程
    • 1 篇 农业工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 城乡规划学
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 27 篇 理学
    • 24 篇 数学
    • 3 篇 生物学
    • 3 篇 统计学(可授理学、...
    • 2 篇 系统科学
    • 1 篇 物理学
  • 13 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 6 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 32 篇 logic programmin...
  • 23 篇 functional progr...
  • 9 篇 logic
  • 8 篇 programming
  • 6 篇 computer science
  • 6 篇 parallel program...
  • 6 篇 answer set progr...
  • 5 篇 computer circuit...
  • 5 篇 application soft...
  • 5 篇 optimization
  • 5 篇 semantics
  • 5 篇 computer program...
  • 5 篇 probabilistic lo...
  • 5 篇 hardware
  • 4 篇 programming prof...
  • 4 篇 computer archite...
  • 4 篇 model checking
  • 4 篇 logic gates
  • 4 篇 linear programmi...
  • 4 篇 yarn

机构

  • 2 篇 univ london impe...
  • 2 篇 vienna universit...
  • 2 篇 university of ca...
  • 2 篇 department of co...
  • 2 篇 imdea software
  • 2 篇 texas tech univ ...
  • 2 篇 free univ bolzan...
  • 2 篇 queen mary univ ...
  • 2 篇 univ new mexico ...
  • 2 篇 univ new mexico ...
  • 2 篇 tech univ madrid...
  • 2 篇 tech univ madrid...
  • 2 篇 univ roma la sap...
  • 2 篇 national ict aus...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 univ nottingham ...
  • 1 篇 dept of comput u...
  • 1 篇 univ porto cracs...

作者

  • 3 篇 yoshida nobuko
  • 3 篇 woltran stefan
  • 3 篇 saenz-perez fern...
  • 2 篇 stuckey peter j.
  • 2 篇 mellarkod veena ...
  • 2 篇 lópez-garcía p
  • 2 篇 mukaidono masao
  • 2 篇 kiselyov oleg
  • 2 篇 hafiz rahmatulla...
  • 2 篇 krennwallner tho...
  • 2 篇 costa vitor sant...
  • 2 篇 lenzerini mauriz...
  • 2 篇 cozman fabio g.
  • 2 篇 caballero rafael
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 rosati riccardo
  • 2 篇 rodríguez-artale...
  • 2 篇 frost richard a.
  • 2 篇 ianni giovambatt...

语言

  • 196 篇 英文
  • 5 篇 其他
  • 1 篇 西班牙文
检索条件"任意字段=10th International Symposium on Functional and Logic Programming"
202 条 记 录,以下是131-140 订阅
Flexible Automatic Service Brokering for SOAs
Flexible Automatic Service Brokering for SOAs
收藏 引用
IFIP/IEEE international symposium on Integrated Network Management
作者: Steffen Bleul Michael Zapf Kurt Geihs Distributed Systems Group University of Kassel Kassel Germany
Enterprises apply SOAs to implement business processes as services which are adaptive to software changes and updates. Service management has to ensure high availability, performance and fault tolerance and is therefo... 详细信息
来源: 评论
A Comparative Evaluation of EJB Implementation Methods
A Comparative Evaluation of EJB Implementation Methods
收藏 引用
international symposium on Object-Oriented Real-Time Distributed Computing
作者: Andreas Stylianou Giovanna Ferrari Paul Ezhilchelvan Software Engineering Division Amdocs Development Centre India Private Limited Cyprus School of Computing Science University of Newcastle UK
As e-businesses are becoming ubiquitous, enhancing the performance and scalability of e-business systems has become an increasingly important topic of investigation. As Vitruvius (70-25 BC) put it succinctly 'func... 详细信息
来源: 评论
Rule schemata for game artificial intelligence
收藏 引用
10th Ibero-American Conference on Artificial Intelligence/18th Brazilian symposium on Artificial Intelligence
作者: da Silva, Flavio S. Correa Vasconcelos, Wamberto W. Univ Sao Paulo Dept Comp Sci BR-05508 Sao Paulo Brazil Univ Aberdeen Dept Comp Sci Aberdeen AB9 1FX Scotland
Rule-based systems are a promising means to specify interface standards for artificial intelligence tools and modules for games, as advocated by the international Came Developers Association. Rules, however, can be to... 详细信息
来源: 评论
Soutei, a logic-based trust-management system system description
Soutei, a logic-based trust-management system system descrip...
收藏 引用
8th international symposium on functional and logic programming, FLOPS 2006
作者: Pimlott, Andrew Kiselyov, Oleg Planning Systems Inc. Slidell LA Fleet Numerical Meteorology and Oceanography Center Monterey CA
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are written in a declarative logic-based s... 详细信息
来源: 评论
Towards a transactional services coordination model
Towards a transactional services coordination model
收藏 引用
international symposium on Database Engineering and Applications (IDEAS)
作者: L. Garcia-Banuelos J.-L. Zechinelli-Martini G. Vargas-Solar C. Collet A. Portilla LSR-IMAG Lab. Saint Martin d'Heres
this paper proposes a flexible transactional behavior model for services coordination. We assume that given a flow describing the application logic of a service based application, it is possible to associate to it a p... 详细信息
来源: 评论
Backtracking, interleaving, and terminating monad transformers
收藏 引用
ACM SIGPLAN NOTICES 2005年 第9期40卷 192-203页
作者: Kiselyov, O Shan, CC Friedman, DP Harvard Univ Cambridge MA 02138 USA Indiana Univ Bloomington IN 47405 USA
We design and implement a library for adding backtracking computations to any Haskell monad. Inspired by logic programming, our library provides, in addition to the operations required by the MonadPlus interface, cons... 详细信息
来源: 评论
A logical analysis of aliasing in imperative higher-order functions
收藏 引用
ACM SIGPLAN NOTICES 2005年 第9期40卷 280-293页
作者: Berger, M Honda, K Yoshida, N Univ London Queen Mary London England Univ London Imperial Coll Sci Technol & Med London England
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as function parameters, return values, conte... 详细信息
来源: 评论
A principled approach to operating system construction in Haskell
收藏 引用
ACM SIGPLAN NOTICES 2005年 第9期40卷 116-128页
作者: Hallgren, T Jones, MP Leslie, R Tolmach, A Oregon Hlth Sci Univ OGI Sch Sci & Engn Portland OR 97201 USA Portland State Univ Dept Comp Sci Portland OR 97207 USA
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. the interface includes primitives for controlling memory management hardware, user-mod... 详细信息
来源: 评论
Backtracking, interleaving, and terminating Monad transformers (functional pearl)  05
Backtracking, interleaving, and terminating Monad transforme...
收藏 引用
10th ACM SIGPLAN international Conference on functional programming, ICFP 2005
作者: Kiselyov, Oleg Shan, Chung-Chieh Friedman, Daniel P. Sabry, Amr FNMOC United States Harvard University United States Indiana University United States
We design and implement a library for adding backtracking computations to any Haskell monad. Inspired by logic programming, our library provides, in addition to the operations required by the MonadPlus interface, cons... 详细信息
来源: 评论
DR-Prolog:A system for reasoning with rules and ontologies on the semantic web
DR-Prolog:A system for reasoning with rules and ontologies o...
收藏 引用
7th international symposium on logical Formalizations of Commonsense Reasoning, Commonsense 2005
作者: Antoniou, Grigoris Antonis, B. Computer Science Department University of Crete Greece Institute of Computer Science Greece
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arise... 详细信息
来源: 评论