咨询与建议

限定检索结果

文献类型

  • 166 篇 会议
  • 5 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 129 篇 工学
    • 119 篇 计算机科学与技术...
    • 85 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 矿业工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 22 篇 理学
    • 16 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 护理学(可授医学、...

主题

  • 18 篇 computer languag...
  • 12 篇 database languag...
  • 12 篇 query languages
  • 10 篇 logic programmin...
  • 9 篇 database systems
  • 9 篇 functional progr...
  • 8 篇 parallel program...
  • 8 篇 computer program...
  • 7 篇 xml
  • 6 篇 computer science
  • 6 篇 costs
  • 6 篇 semantics
  • 6 篇 computer program...
  • 6 篇 relational datab...
  • 5 篇 object oriented ...
  • 5 篇 programming prof...
  • 5 篇 programming
  • 5 篇 application soft...
  • 5 篇 databases
  • 5 篇 hardware

机构

  • 2 篇 univ valladolid ...
  • 2 篇 carleton univ sc...
  • 2 篇 imdea software
  • 2 篇 department of co...
  • 2 篇 univ aarhus dept...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 xian technol uni...
  • 1 篇 ibm corp almaden...
  • 1 篇 mechanical engin...
  • 1 篇 university paris...
  • 1 篇 department of in...
  • 1 篇 epfl
  • 1 篇 univ nottingham ...
  • 1 篇 dept. of informa...
  • 1 篇 university of te...
  • 1 篇 pontificia unive...
  • 1 篇 school of comput...
  • 1 篇 fakultät für mat...

作者

  • 3 篇 schwartzbach mic...
  • 2 篇 bertossi leopold...
  • 2 篇 chakravarty manu...
  • 2 篇 zhao yidan
  • 2 篇 krennwallner tho...
  • 2 篇 moreton-fernande...
  • 2 篇 van gucht dirk
  • 2 篇 gonzalez-escriba...
  • 2 篇 cozman fabio g.
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 moller anders
  • 2 篇 ianni giovambatt...
  • 2 篇 steffen bernhard
  • 2 篇 xiao qinkun
  • 2 篇 li kin fun
  • 2 篇 schindlauer roma...
  • 2 篇 brabrand claus
  • 2 篇 hanus michael
  • 2 篇 keller gabriele

语言

  • 170 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=10th International Symposium on Database Programming Languages"
173 条 记 录,以下是151-160 订阅
排序:
Encapsulating data in logic programming via categorical constraints  10th
Encapsulating data in logic programming via categorical cons...
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Lipton, James McGrail, Robert Dept. of Mathematics and Computer Science Wesleyan University United States
We define a framework for writing executable declarative specifications which incorporate categorical constraints on data, Horn Clauses and datatype specification over finite-product categories. We construct a generic... 详细信息
来源: 评论
Controlling search in declarative programs  10th
Controlling search in declarative programs
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Hanus, Michael Steiner, Frank RWTH Aachen Informatik II AachenD-52056 Germany
Logic languages can deal with non-deterministic computations via built-in search facilities. However, standard search methods like global backtracking are often not sufficient and a source of many programming errors. ... 详细信息
来源: 评论
From (sequential) Haskell to (parallel) Eden: An implementation point of view  10th
From (sequential) Haskell to (parallel) Eden: An implementat...
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Breitinger, Silvia Klusik, Ulrike Loogen, Rita Philipps-Universität Marburg MarburgD-35032 Germany
the explicitly parallel programming language Eden adds a coordination level to the lazy functional language Haskell. this paper describes how a compiler and runtime system for Eden can incrementally be built on the ba... 详细信息
来源: 评论
Approaches to the incremental detection of implicit equalities with the revised simplex method  10th
Approaches to the incremental detection of implicit equaliti...
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Refalo, Philippe ILOG S.A. 9 rue de Verdun BP 85 Gentilly94253 France
this paper deals with the incremental detection of implicit equalities using the revised simplex method. this algorithm is more efficient and more suitable to practical problems than the tableau method usually applied... 详细信息
来源: 评论
A game semantics foundation for logic programming  10th
A game semantics foundation for logic programming
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: di Cosmo, Roberto Loddo, Jean-Vincent Nicolet, Stephane DMI-LIENS Ecole Normale Supérieure 45 Rue d’Ulm Paris75005 France
We introduce a semantics of Logic programming based on an classical Game theory, which is proven to be sound and complete w.r.t. the traditional operational semantics and Negation as Failure. this game semantics is ba... 详细信息
来源: 评论
Detecting unsolvable queries for definite logic programs  10th
Detecting unsolvable queries for definite logic programs
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Bruynooghe, Maurice Vandecasteele, Henk de Waal, da Andre Denecker, Marc Departement Computerwetenschappen Katholieke Universiteit Leuven Celestijnenlaan 200A HeverleeB-3001 Belgium Centre for Business Mathematics and Informatics Potchefstroom University for Christian Higher Education South Africa
In logic programming, almost no work has been done so far on proving that certain queries cannot succeed. Work in this direction could be useful for queries which seem to be non-terminating. Such queries are not excep... 详细信息
来源: 评论
SICStus MT—A multithreaded execution environment for SICStus Prolog  10th
SICStus MT—A multithreaded execution environment for SICStu...
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Eskilson, Jesper Carlsson, Mats Intelligent Systems Laboratory Swedish Institute of Computer Science Box 1263 KistaSE-164 29 Sweden
the development of intelligent software agents and other complex applications which continuously interact with their environments has been one of the reasons why explicit concurrency has become a necessity in a modern... 详细信息
来源: 评论
Logic programming and model checking  10th
Logic programming and model checking
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Cui, Baoqiu Dong, Yifei Du, Xiaoqun Kumar, K. Narayan Ramakrishnan, C.R. Ramakrishnan, I.V. Roychoudhury, Abhik Smolka, Scott A. Warren, David S. Department of Computer Science SUNY at Stony Brook Stony BrookNY11794-4400 United States
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system specification and verification. In particular... 详细信息
来源: 评论
Integrating constraint propagation in complete solving of linear diophantine systems  10th
Integrating constraint propagation in complete solving of li...
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Ajili, Farid Lock, Hendrik C. R. IC-Parc William Penny Laboratory Imperial College LondonSW7 2AZ United Kingdom Logistics Development and Planning SAP AG POB 14 61 WalldorfD-69190 Germany
Several complete methods for solving linear Diophantine constraints have been proposed. they can handle infinite domains, but their pruning during search is relatively weak. In contrast to those, consistency technique... 详细信息
来源: 评论
Flexible database querying based on associations of domain values  10th
收藏 引用
10th international symposium on Methodologies for Intelligent Systems, ISMIS 1997
作者: Andreasen, Troels Roskilde University Computer Science Department Intelligent Systems Laboratory P.O.Box 260 RoskildeDK-4000 Denmark
In this paper we present an approach to database querying based on fuzzy evaluation of queries. In the approach a dedicated mining for domain knowledge is involved. the result of this is a special kind of associations... 详细信息
来源: 评论