咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是221-230 订阅
排序:
An architecture based on constraints for augmented shared workspaces  14
An architecture based on constraints for augmented shared wo...
收藏 引用
14th Brazilian Symposium on Computer Graphics and Image Processing
作者: Forster, CHQ Tozzi, CL Univ Estadual Campinas FEEC Sch Elect & Comp Engn DCADept Comp Engn & Ind Automat BR-13083970 Campinas SP Brazil
Augmented shared workspaces are an instance of augmented reality which move the collaborative work from the desktop to the real workplace, enabling higher interaction level with coworkers and allowing implementation o... 详细信息
来源: 评论
Modelling discrete optimisation problems in constraint logic programming
收藏 引用
ANNALS OF OPERATIONS RESEARCH 1998年 第0期81卷 467-495页
作者: Barth, P Bockmayr, A Max Planck Inst Informat D-66123 Saarbrucken Germany
constraint logic programming has become a promising new technology for solving complex combinatorial problems. In this paper, we investigate how (constraint) logic programming can support the modelling part when solvi... 详细信息
来源: 评论
Generation of functional test sequences from B formal specifications - Presentation and industrial case-study  16
Generation of functional test sequences from B formal specif...
收藏 引用
16th IEEE Annual International Conference on Automated Software Engineering (ASE 2001)
作者: Legeard, B Peureux, F Univ Franche Comte Lab Informat F-25030 Besancon France
This paper presents an original method to generate test sequences. From formal specifications of the system to be tested, an equivalent system of constraints is derived, and then, the domain of each state variable of ... 详细信息
来源: 评论
Mechanising shared configuration and diagnosis theories through constraint logic programming
收藏 引用
JOURNAL OF logic programming 1998年 第1-3期37卷 255-283页
作者: Sharma, N Colomb, R Univ Queensland Dept Comp Sci Brisbane Qld 4072 Australia
Configuration and diagnosis problem-solvers are commonly championed as successes of applied artificial intelligence techniques. A common problem is that problem-solvers typically encode task-specific representation as... 详细信息
来源: 评论
Design for AJACS, yet another Java constraint programming framework 1
收藏 引用
Electronic Notes in Theoretical Computer Science 2001年 48卷 167-178页
作者: Lígia Ferreira Salvador Abreu Departmento de Informática Universidade de Évora Évora Portugal
This article introduces AJACS (Another Java constraint programming System), a toolkit for Concurrent constraint programming implemented in the Java language. It comes as a successor to our previous work in implementin... 详细信息
来源: 评论
A meta-representation for integrating operational research and artificial intelligence in an intelligent decision support paradigm
收藏 引用
International Transactions in Operational Research 2001年 第1期8卷 107-119页
作者: Abbass, H.A. Towsey, M. Finn, G. Kozan, E. School of Computing Science University of New South Wales University College Australia School of Computing Science Queensland University of Technology Australia School of Computing Science Queensland University of Technology Brisbane QLD 4001 GPO 2434 Australia School of Mathematical Sciences Queensland University of Technology Australia
Operational research (OR) and artificial intelligence (AI) models are primary contributors to the area of intelligent decision support systems (IDSS). constraint logic programming (CLP) has been used successfully to s... 详细信息
来源: 评论
Modeling issues and implementation of language for disjunctive programming
收藏 引用
COMPUTERS & CHEMICAL ENGINEERING 2000年 第9-10期24卷 2143-2155页
作者: Vecchietti, A Grossmann, IE Carnegie Mellon Univ Dept Chem Engn Pittsburgh PA 15213 USA UTN Fac Reg Santa Fe INGAR Inst Desarrollo & Diseno Santa Fe NM USA
This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized h... 详细信息
来源: 评论
constraint-based model for the cyclic multi-hoists scheduling problem
收藏 引用
PRODUCTION PLANNING & CONTROL 2000年 第3期11卷 244-257页
作者: Manier, MA Varnier, C Baptiste, P Univ Technol Belfort Montbelliard Equipe Prod Espace Bartholdi Belfort Technopole F-90016 Belfort France ENSMM Inst Prod Lab Automat Besancon CNRSUMR 6596 F-25000 Besancon France
This article presents a method for the resolution of a material handling scheduling problem. The case studied is a real industrial problem. It consists of finding a cyclic schedule for hoist movements in a treatment s... 详细信息
来源: 评论
Independence in CLP languages
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2000年 第2期22卷 296-339页
作者: De la Banda, MG Hermenegildo, M Marriott, K Monash Univ Melbourne Vic 3004 Australia Tech Univ Madrid UPM Madrid Spain
Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that tw... 详细信息
来源: 评论
Incremental analysis of constraint logic programs
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2000年 第2期22卷 187-223页
作者: Hermenegildo, M Puebla, G Marriott, K Stuckey, PJ Univ Politecn Madrid Fac Informat E-28660 Madrid Spain Monash Univ Sch Comp Sci & Software Engn Clayton Vic 3168 Australia Univ Melbourne Dept Comp Sci & Software Engn Parkville Vic 3052 Australia
Global analyzers traditionally read and analyze the entire program at once, in a nonincremental way. However, there are many situations which are not well suited to this simple model and which instead require reanalys... 详细信息
来源: 评论