咨询与建议

限定检索结果

文献类型

  • 187 篇 会议
  • 7 册 图书
  • 4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 157 篇 工学
    • 147 篇 计算机科学与技术...
    • 95 篇 软件工程
    • 12 篇 电气工程
    • 8 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 6 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 光学工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 土木工程
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 22 篇 理学
    • 17 篇 数学
    • 3 篇 物理学
    • 3 篇 生物学
    • 3 篇 系统科学
  • 12 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
    • 2 篇 工商管理
  • 2 篇 文学
    • 2 篇 外国语言文学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
  • 1 篇 艺术学
    • 1 篇 艺术学理论
    • 1 篇 音乐与舞蹈学

主题

  • 41 篇 logic programmin...
  • 22 篇 functional progr...
  • 13 篇 semantics
  • 7 篇 temporal logic
  • 6 篇 computer science
  • 5 篇 automatic contro...
  • 4 篇 computer circuit...
  • 4 篇 model checking
  • 4 篇 software enginee...
  • 4 篇 mathematical log...
  • 4 篇 hardware
  • 4 篇 programming lang...
  • 4 篇 specification la...
  • 4 篇 dynamic programm...
  • 4 篇 computer program...
  • 3 篇 fuzzy logic
  • 3 篇 formal logic
  • 3 篇 logic gates
  • 3 篇 computational mo...
  • 3 篇 real-time system...

机构

  • 2 篇 cinvestav gdl de...
  • 2 篇 departamento de ...
  • 2 篇 univ complutense...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ limerick le...
  • 2 篇 nara inst sci & ...
  • 2 篇 univ tokyo
  • 2 篇 cau kiel inst in...
  • 2 篇 tu dortmund univ...
  • 2 篇 univ london impe...
  • 1 篇 univ augsburg de...
  • 1 篇 telecom bretagne...
  • 1 篇 univ innsbruck i...
  • 1 篇 department of co...
  • 1 篇 univ pisa dipart...
  • 1 篇 tu dortmund univ...
  • 1 篇 univ pisa dept c...
  • 1 篇 department of ma...
  • 1 篇 katholieke univ ...
  • 1 篇 univ southern ca...

作者

  • 4 篇 steffen bernhard
  • 3 篇 kobayashi naoki
  • 2 篇 jain v
  • 2 篇 nishitani h
  • 2 篇 stuckey peter j.
  • 2 篇 vidal g
  • 2 篇 albert e
  • 2 篇 grossman ie
  • 2 篇 imafuku k
  • 2 篇 lano k
  • 2 篇 vidal german
  • 2 篇 chavoya a
  • 2 篇 neubauer johanne...
  • 2 篇 sanchez a
  • 2 篇 harjunkoski i
  • 2 篇 ramakrishnan i.v...
  • 2 篇 naujokat stefan
  • 2 篇 hanus m
  • 2 篇 margaria tiziana
  • 2 篇 antoniou grigori...

语言

  • 194 篇 英文
  • 4 篇 其他
检索条件"任意字段=7th International Symposium on Functional and Logic Programming"
198 条 记 录,以下是131-140 订阅
Extending WSDL to facilitate Web services testing
Extending WSDL to facilitate Web services testing
收藏 引用
IEEE international Symposim on High Assurance Systems Engineering
作者: W.T. Tsai R. Paul Yamin Wang Chun Fan Dong Wang Department of Computer Science and Engineering Arizona State University Tempe AZ USA Department of Defense Washington D.C. DC USA Department of Computer Science and Engineering University of Minnesota Minneapolis MN USA
Web services might be the most popular and powerful software development technology in today's software world. Yet it brings software developers and testers a lot of challenges also. this is mainly caused by the i... 详细信息
来源: 评论
A higher-order logic programming language with constraints  5th
收藏 引用
5th international symposium on functional and logic programming
作者: Leach, J Nieva, S Univ Complutense Madrid Dpto Sistemas Informat & Programac E-28040 Madrid Spain
We present a framework for the combination of Constraint logic programming (CLP) and higher-order Hereditary Harrop Formulas (hoHH). Our aim is to improve the expressiveness of traditional logic programming with the b... 详细信息
来源: 评论
functional and logic programming
收藏 引用
丛书名: Lecture notes in computer science,
2001年
作者: Herbert Kuchen Kazunori Ueda (eds.).
来源: 评论
Architectural evaluation of Java TPC-W
Architectural evaluation of Java TPC-W
收藏 引用
7th international symposium on High-Performance Computer Architecture
作者: Cain, Harold W. Rajwar, Ravi Marden, Morris Lipasti, Mikko H. Univ of Wisconsin Madison United States
the use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural requirements of this emerging commercial work... 详细信息
来源: 评论
Hybrid mixed-integer/constraint logic programming strategies for solving scheduling and combinatorial optimization problems
收藏 引用
COMPUTERS & CHEMICAL ENGINEERING 2000年 第2-7期24卷 337-343页
作者: Harjunkoski, I Jain, V Grossman, IE Carnegie Mellon Univ Dept Chem Engn Pittsburgh PA 15213 USA
In this paper, we present two methods to overcome the combinatorial complexity when solving large discrete optimization problems. the basic idea relies on combining mixed integer programming (MIP) and constraint logic... 详细信息
来源: 评论
Formal implementation of procedural controllers for event-driven sequential systems in chemical processes
收藏 引用
COMPUTERS & CHEMICAL ENGINEERING 2000年 第2-7期24卷 297-302页
作者: Chavoya, A Sanchez, A Lano, K CINVESTAV Gdl Dept Elect Engn & Comp Sci Guadalajara 445501 Jalisco Mexico Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England
this paper describes the application of a method to carry out a formally correct implementation of a logic controller for an event-driven process system. Given a control architecture and the functional specification o... 详细信息
来源: 评论
Using an abstract representation to specialize functional logic programs  7th
收藏 引用
7th international Conference on logic for programming and Automated Reasoning
作者: Albert, E Hanus, M Vidal, G Univ Politecn Valencia DSIC E-46022 Valencia Spain CAU Kiel Inst Informat D-24098 Kiel Germany
this paper introduces a novel approach for the specialization of functional logic languages. We consider a maximally simplified abstract representation of programs (which still contains all the necessary information) ... 详细信息
来源: 评论
7th international Conference on logic for programming and Automated Reasoning, LPAR 2000
收藏 引用
7th international Conference on logic for programming and Automated Reasoning, LPAR 2000
the proceedings contain 30 papers. the special focus in this conference is on Nonmononic reasoning and Descriptive complexity. the topics include: On the complexity of theory curbing;graph operations and monadic secon...
来源: 评论
Design and verification of the SFC program for sequential Control
收藏 引用
COMPUTERS & CHEMICAL ENGINEERING 2000年 第2-7期24卷 303-308页
作者: Fujino, K Imafuku, K Yamashita, Y Nishitani, H Nara Inst Sci & Technol Nara 6300101 Japan
A programmable controller (PC) programming technique using SFC (sequential function chart) has been adopted in sequential control system design because SFC can graphically represent the sequence how of control logic. ... 详细信息
来源: 评论
Hybrid mixed-integer/constraint logic programming strategies for solving scheduling and combinatorial optimization problems
Hybrid mixed-integer/constraint logic programming strategies...
收藏 引用
7th international symposium on Process Systems Engineering
作者: Harjunkoski, I Jain, V Grossman, IE Carnegie Mellon Univ Dept Chem Engn Pittsburgh PA 15213 USA
In this paper, we present two methods to overcome the combinatorial complexity when solving large discrete optimization problems. the basic idea relies on combining mixed integer programming (MIP) and constraint logic... 详细信息
来源: 评论