咨询与建议

限定检索结果

文献类型

  • 198 篇 期刊文献
  • 95 篇 会议
  • 2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 265 篇 工学
    • 243 篇 计算机科学与技术...
    • 104 篇 软件工程
    • 28 篇 电气工程
    • 25 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 6 篇 化学工程与技术
    • 4 篇 机械工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 仪器科学与技术
    • 2 篇 环境科学与工程(可...
    • 2 篇 网络空间安全
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 石油与天然气工程
    • 1 篇 交通运输工程
    • 1 篇 城乡规划学
  • 87 篇 理学
    • 82 篇 数学
    • 2 篇 生物学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地理学
  • 37 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 8 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 8 篇 经济学
    • 8 篇 应用经济学
    • 1 篇 理论经济学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 3 篇 教育学
    • 3 篇 教育学
  • 1 篇 农学

主题

  • 295 篇 constraint logic...
  • 27 篇 mathematical pro...
  • 17 篇 optimization
  • 16 篇 logic programmin...
  • 15 篇 scheduling
  • 14 篇 program transfor...
  • 11 篇 decision support
  • 10 篇 program verifica...
  • 8 篇 artificial intel...
  • 8 篇 prolog
  • 7 篇 clp
  • 7 篇 constraint satis...
  • 7 篇 symbolic executi...
  • 6 篇 languages
  • 6 篇 decision support...
  • 6 篇 program analysis
  • 6 篇 test case genera...
  • 6 篇 abstract interpr...
  • 6 篇 constraint solvi...
  • 6 篇 constructive neg...

机构

  • 8 篇 kielce univ tech...
  • 6 篇 cnr iasi rome
  • 6 篇 kielce univ tech...
  • 5 篇 univ roma tor ve...
  • 5 篇 univ craiova cra...
  • 5 篇 new mexico state...
  • 5 篇 univ udine dipar...
  • 4 篇 kielce univ tech...
  • 3 篇 univ pisa dipart...
  • 3 篇 univ melbourne d...
  • 3 篇 kielce univ tech...
  • 3 篇 univ parma dipar...
  • 3 篇 iasi cnr i-00185...
  • 3 篇 carnegie mellon ...
  • 3 篇 natl univ singap...
  • 3 篇 imdea software i...
  • 3 篇 g dannunzio univ...
  • 3 篇 univ roma tor ve...
  • 3 篇 univ parma dipar...
  • 3 篇 tech univ gheorg...

作者

  • 25 篇 sitek pawel
  • 22 篇 wikarek jaroslaw
  • 13 篇 proietti maurizi...
  • 12 篇 pettorossi alber...
  • 12 篇 fioravanti fabio
  • 8 篇 de angelis emanu...
  • 6 篇 badica amelia
  • 6 篇 senni valerio
  • 6 篇 mesnard fred
  • 6 篇 badica costin
  • 6 篇 rossi gianfranco
  • 5 篇 cristia maximili...
  • 4 篇 gavanelli marco
  • 4 篇 stefanski tadeus...
  • 4 篇 stuckey pj
  • 4 篇 dovier agostino
  • 4 篇 dovier a
  • 4 篇 hermenegildo m
  • 4 篇 pontelli enrico
  • 4 篇 leon florin

语言

  • 269 篇 英文
  • 25 篇 其他
  • 1 篇 德文
检索条件"主题词=Constraint Logic Programming"
295 条 记 录,以下是241-250 订阅
排序:
A simple and efficient Boolean solver for constraint logic programming
收藏 引用
JOURNAL OF AUTOMATED REASONING 1996年 第1期17卷 97-129页
作者: Codognet, P Diaz, D INST NATL RECH INFORMAT & AUTOMAT F-78153 LE CHESNAYFRANCE
We study in this paper the use of consistency techniques and local propagation methods, originally developed for constraints over finite domains, for solving boolean constraints in constraint logic programming (CLP). ... 详细信息
来源: 评论
A practical object-oriented analysis engine for CLP
收藏 引用
Software: Practice and Experience 1999年 第2期28卷
作者: Andrew D. Kelly Kim Marriott Harald Søndergaard Peter J. Stuckey Department of Computer Science Monash University Clayton 3168 Australia Department of Computer Science University of Melbourne Parkville 3052 Australia
The incorporation of global program analysis into recent compilers for constraint logic programming (CLP) languages has greatly improved the efficiency of compiled programs. We present a global analyser based on abstr... 详细信息
来源: 评论
Extracting buildings from aerial images using hierarchical aggregation in 2D and 3D
收藏 引用
COMPUTER VISION AND IMAGE UNDERSTANDING 1998年 第2期72卷 185-203页
作者: Fischer, A Kolbe, TH Lang, F Cremers, AB Forstner, W Plumer, L Steinhage, V Univ Bonn Comp Sci Dept 1 D-53117 Bonn Germany Univ Vechta Inst Environm Sci D-49364 Vechta Germany Univ Bonn Inst Photogrammetry D-53115 Bonn Germany Univ Bonn Comp Sci Dept 3 D-53117 Bonn Germany
We propose a model-based approach to automated 3D extraction of buildings from aerial images. We focus on a reconstruction strategy that is not restricted to a small class of buildings. Therefore, we employ a generic ... 详细信息
来源: 评论
Optimizing compilation of CLP(R)
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1998年 第6期20卷 1223-1250页
作者: Kelly, AD Marriott, K Macdonald, A Stuckey, PJ Yap, P Monash Univ Dept Comp Sci & Software Engn Clayton Vic 2168 Australia Univ Melbourne Dept Comp Sci Parkville Vic 3052 Australia Natl Univ Singapore Dept Informat Syst & Comp Sci Singapore 119260 Singapore
constraint logic programming (CLP) languages extend logic programming by allowing the use of constraints from different domains such as real numbers or Boolean functions. They have proved to be ideal for expressing pr... 详细信息
来源: 评论
A semantics for modular general logic programs
收藏 引用
THEORETICAL COMPUTER SCIENCE 1998年 第1-2期206卷 51-80页
作者: Etalle, S Univ Amsterdam Fac WINS NL-1098 SJ Amsterdam Netherlands Univ Genoa Dept Comp Sci I-16126 Genoa Italy
Modular programs are built as a combination of separate modules, which may be developed and verified separately. Therefore, in order to reason over such programs, compositionality plays a crucial role: the semantics o... 详细信息
来源: 评论
CLP(χ) for automatically proving program properties
收藏 引用
JOURNAL OF logic programming 1998年 第1-3期37卷 77-93页
作者: Mesnard, F Hoarau, S Maillard, A Univ Reunion Iremia F-97715 St Denis 9 France
Various proof methods have been proposed to solve the implication problem, i.e. proving that properties of the form: For All(P --> Q) - where P and Q denote conjunctions of atoms - are logical consequences of logic... 详细信息
来源: 评论
A logical model for relational abstract domains
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1998年 第5期20卷 1067-1109页
作者: Giacobazzi, R Scozzari, F Univ Pisa Dipartimento Informat I-56125 Pisa Italy
In this article we introduce the notion of Heyting completion in abstract interpretation. We prove that Heyting completion provides a model for Cousot's reduced cardinal power of abstract domains and that it suppl... 详细信息
来源: 评论
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Exploração de paralelismo ou em uma linguagem em lógica c...
收藏 引用
作者: Vargas, Patricia Kayser
This work is dedicated to the study of the exploration of OR parallelism in constraint logic programming for distributed environment. logic programming, which the most meaningful language is Prolog, has as premise the... 详细信息
来源: 评论
A constraint logic programming LANGUAGE KEYED CLP AND ITS APPLICATIONS TO DECISION-MAKING PROBLEMS IN OR/MS
收藏 引用
DECISION SUPPORT SYSTEMS 1995年 第3期14卷 269-281页
作者: HIRAISHI, K School of Information Science Japan Advanced Institute of Science and Technology Hokuriku 15 Asahi-dai Tatsunokuchi Nomi-gun Ishikawa 923-12 Japan
The aim of this research is to utilize constraint logic programming (CLP) far solving decision making problems in Operations Research/Management Science. In this research, a new constraint logic programming language K... 详细信息
来源: 评论
A practical object-oriented analysis engine for CLP
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1998年 第2期28卷 199-224页
作者: Kelly, AD Marriott, K Sondergaard, H Stuckey, PJ Monash Univ Dept Comp Sci Clayton Vic 3168 Australia Univ Melbourne Dept Comp Sci Parkville Vic 3052 Australia
The incorporation of global program analysis into recent compilers for constraint logic programming (CLP) languages has greatly improved the efficiency of compiled programs. We present a global analyser based on abstr... 详细信息
来源: 评论