咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
排序:
A Tool for the Integration of constraint Solving in Spreadsheets
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2012年 282卷 35-45页
作者: Maria Fernandez-Soriano, Ana Marino, Julio Herranz, Angel Univ Politecn Madrid Babel Res Grp Madrid Spain
Spreadsheets have become widely used tools, but they are applied to increasingly complex problems, far beyond the kind of tasks for which they were originally conceived. This often results in large, hard to maintain s... 详细信息
来源: 评论
A Declarative Language Approach to Device Configuration
收藏 引用
ACM TRANSACTIONS ON COMPUTER SYSTEMS 2012年 第1期30卷 5-5页
作者: Schuepbach, Adrian Baumann, Andrew Roscoe, Timothy Peter, Simon ETH Syst Grp Dept Comp Sci Zurich Switzerland
C remains the language of choice for hardware programming (device drivers, bus configuration, etc.): it is fast, allows low-level access, and is trusted by OS developers. However, the algorithms required to configure ... 详细信息
来源: 评论
constraint functional logic programming over finite domains
收藏 引用
THEORY AND PRACTICE OF logic programming 2007年 第5期7卷 537-582页
作者: Fernandez, Antonio J. Univ Malaga Dpto Lenguajes & Ciencias Computac E-29071 Malaga Spain Univ Complutense Madrid Dpto Sistemas Informat & Programac E-28040 Madrid Spain
In this paper, we present our proposal to constraint Functional logic programming over Finite Domains (CFLP(FD)) with a lazy functional logic programming language which seamlessly embodies finite domain (FD) constrain... 详细信息
来源: 评论
Optimal placement of valves in a water distribution network with CLP(FD)
收藏 引用
THEORY AND PRACTICE OF logic programming 2011年 第4-5期11卷 731-747页
作者: Cattafi, Massimiliano Gavanelli, Marco Nonato, Maddalena Alvisi, Stefano Franchini, Marco Univ Ferrara Dept Engn I-44122 Ferrara Italy
This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constrai... 详细信息
来源: 评论
Modeling and solving technical product configuration problems
收藏 引用
AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING 2011年 第2期25卷 115-129页
作者: Falkner, Andreas Haselboeck, Alois Schenner, Gottfried Schreiner, Herwig Siemens AG Corp Technol Cent & Eastern Europe Res & Technol A-1210 Vienna Austria
This paper describes and evaluates approaches to model and solve technical product configuration problems using different artificial intelligence methodologies. By means of a typical example, the benefits and limitati... 详细信息
来源: 评论
Solving functional constraints by variable substitution
收藏 引用
THEORY AND PRACTICE OF logic programming 2011年 第2-3期11卷 297-322页
作者: Zhang, Yuanlin Yap, Roland H. C. Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Natl Univ Singapore Sch Comp Singapore 117417 Singapore
Functional constraints and bi-functional constraints are an important constraint class in constraint programming (CP) systems, in particular for constraint logic programming (CLP) systems. CP systems with finite domai... 详细信息
来源: 评论
Optimization of Message Encryption for Distributed Embedded Systems with Real-Time constraints
Optimization of Message Encryption for Distributed Embedded ...
收藏 引用
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
作者: Jiang, Ke Eles, Petru Peng, Zebo Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden
In this paper we consider distributed embedded systems in which privacy or confidentiality of the internal communication is critical, and present an approach to optimizing cryptographic algorithms under strict timing ... 详细信息
来源: 评论
Solving functional constraints by variable substitution
Solving functional constraints by variable substitution
收藏 引用
24th International Conference on logic programming (ICLP)
作者: Zhang, Yuanlin Yap, Roland H. C. Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Natl Univ Singapore Sch Comp Singapore 117417 Singapore
Functional constraints and bi-functional constraints are an important constraint class in constraint programming (CP) systems, in particular for constraint logic programming (CLP) systems. CP systems with finite domai... 详细信息
来源: 评论
CLP(QS): A Declarative Spatial Reasoning Framework
CLP(QS): A Declarative Spatial Reasoning Framework
收藏 引用
10th International Conference on Spatial Information Theory (COSIT 2011)
作者: Bhatt, Mehul Lee, Jae Hee Schultz, Carl Univ Bremen Spatial Cognit Res Ctr SFB TR 8 Bremen Germany
We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semant... 详细信息
来源: 评论
Program transformation for development, verification, and synthesis of programs
收藏 引用
INTELLIGENZA ARTIFICIALE 2011年 第1期5卷 119-125页
作者: Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio Senni, Valerio Univ G D Annunzio Dept Sci Pescara Italy Univ Roma Tor Vergata Dept Informat Syst & Prod Rome Italy CNR IASI Viale Manzoni 30 I-00185 Rome Italy
This paper briefly describes the use of the program transformation methodology for the development of correct and efficient programs. In particular, we will refer to the case of constraint logic programs and, through ... 详细信息
来源: 评论