咨询与建议

限定检索结果

文献类型

  • 182 篇 会议
  • 14 册 图书
  • 11 篇 期刊文献

馆藏范围

  • 206 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 149 篇 工学
    • 138 篇 计算机科学与技术...
    • 63 篇 软件工程
    • 35 篇 电气工程
    • 13 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 4 篇 生物工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 化学工程与技术
    • 2 篇 交通运输工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 建筑学
    • 1 篇 安全科学与工程
  • 27 篇 理学
    • 21 篇 数学
    • 5 篇 生物学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
  • 8 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 文学
    • 1 篇 外国语言文学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 49 篇 logic programmin...
  • 13 篇 fuzzy logic
  • 12 篇 mathematical log...
  • 11 篇 programming
  • 11 篇 artificial intel...
  • 10 篇 formal logic
  • 8 篇 programming lang...
  • 7 篇 software enginee...
  • 7 篇 logics and meani...
  • 6 篇 programming tech...
  • 6 篇 probabilistic lo...
  • 5 篇 computer science
  • 5 篇 logic gates
  • 5 篇 semantics
  • 4 篇 programming prof...
  • 4 篇 constraint logic...
  • 4 篇 application soft...
  • 4 篇 kripke logical r...
  • 4 篇 mathematical mod...
  • 4 篇 algorithm analys...

机构

  • 3 篇 univ kentucky de...
  • 2 篇 industrial softw...
  • 2 篇 max planck inst ...
  • 2 篇 vienna univ tech...
  • 2 篇 univ cyprus dept...
  • 2 篇 institute of log...
  • 2 篇 ben gurion univ ...
  • 2 篇 imdea software i...
  • 2 篇 international in...
  • 2 篇 aarhus univ dk-8...
  • 2 篇 wakayama univ de...
  • 2 篇 michigan state u...
  • 2 篇 kings coll londo...
  • 1 篇 mpi informat d-6...
  • 1 篇 transmeta corpor...
  • 1 篇 inria
  • 1 篇 ist austria klos...
  • 1 篇 kielce univ tech...
  • 1 篇 vig impex craiov...
  • 1 篇 department of ma...

作者

  • 4 篇 eiter thomas
  • 3 篇 truszczynski mir...
  • 3 篇 dimopoulos y
  • 2 篇 egly uwe
  • 2 篇 sarna-starosta b...
  • 2 篇 stepanova daria
  • 2 篇 woltran stefan
  • 2 篇 dillon laura k.
  • 2 篇 birkedal lars
  • 2 篇 chlipala adam
  • 2 篇 andrei voronkov
  • 2 篇 dreyer derek
  • 2 篇 turon aaron
  • 2 篇 brewka gerhard
  • 2 篇 kyaw myat thu
  • 2 篇 myo thet naung
  • 2 篇 brafman ri
  • 2 篇 stirewalt r. e. ...
  • 2 篇 krishnaswami nee...
  • 1 篇 miller r

语言

  • 202 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"任意字段=18th International Conference on Logic Programming, ICLP 2002"
207 条 记 录,以下是181-190 订阅
排序:
Gradual approach to a more trustworthy, yet scalable, proof-carrying code  18th
收藏 引用
18th international conference on Automated Deduction, CADE 2002
作者: Schneck, Robert R. Necula, George C. Group in Logic and the Methodology of Science University of California Berkeley United States Department of Electrical Engineering and Computer Sciences University of California Berkeley United States
Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy includes proof rules which determine how various a... 详细信息
来源: 评论
Making complex document structures accessible through templates
Making complex document structures accessible through templa...
收藏 引用
international conference on Professional Communication (IPCC)
作者: F.H. Gatzemeier O. Meyer RWTH Aachen Lehrstuhl für Informatik III Aachen Germany
Addresses two problems of technical authors in structured environments: (1) structure definitions of the SGML school are limiting: they require one primary hierarchy and do not cater for link types; and (2) real-life ... 详细信息
来源: 评论
Induction of relational Fril rules
Induction of relational Fril rules
收藏 引用
conference of the North American Fuzzy Information Processing Society - NAFIPS
作者: J.F. Baldwin C. Hill T.P. Martin Department of Engineering Mathematics University of Bristol Bristol UK
We propose an, approach to extend inductive logic programming (ILP) to cater for uncertainties in the form of probabilities and fuzzy sets. A corresponding decision tree induction algorithm that induces Fril (a suppor... 详细信息
来源: 评论
Reducing quantization error and contextual bias problems in software development processes by applying fuzzy logic
Reducing quantization error and contextual bias problems in ...
收藏 引用
conference of the North American Fuzzy Information Processing Society - NAFIPS
作者: F. Marcelloni M. Aksit Dipartimento di Ingegneria Della Informazione University of Pisa Pisa Italy Department of Computer Science University of Twente Enschede Netherlands
Object-oriented methods define a considerable number of rules, which are generally expressed using two-valued logic. For example, an entity in a requirement specification is either accepted or rejected as a class. the... 详细信息
来源: 评论
FULSOME: a fuzzy logic modeling tool for software metricians
FULSOME: a fuzzy logic modeling tool for software metricians
收藏 引用
conference of the North American Fuzzy Information Processing Society - NAFIPS
作者: S.G. MacDonell A.R. Gray J.M. Calvert Department of Information Science University of Otago Dunedin New Zealand
there has been a growing body of literature suggesting that some of the problems faced by software development project managers can be at least partially overcome by using fuzzy logic techniques. However, one issue th... 详细信息
来源: 评论
Proceedings - SCCC 1998: 18th international conference of the Chilean Society of Computer Science
Proceedings - SCCC 1998: 18th International Conference of th...
收藏 引用
the proceedings contain 25 papers. the topics discussed include: query evaluation in almost consistent databases using residues;formalizing the software evaluation process;software architectural specification for opti...
来源: 评论
Flexible exception handling in the OPERA process support system
Flexible exception handling in the OPERA process support sys...
收藏 引用
international conference on Distributed Computing Systems
作者: C. Hagen G. Alonso Information and Communication Systems Research Group Institute of Information Systems Swiss Federal Institute of Technology Zurich Switzerland
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a normal occurrence. Any programming tool... 详细信息
来源: 评论
Granularity control for distributed execution of logic programs
Granularity control for distributed execution of logic progr...
收藏 引用
international conference on Distributed Computing Systems
作者: G. Xirogiannis Department of Computing & Electrical Engineering Heriot-Watt University UK
Distributed execution of logic programs requires a match of granularity between a program and the distributed multiprocessor it runs on to exploit its potential for performance fully. this paper presents methods to co... 详细信息
来源: 评论
Dynamic programming as frame for efficient parsing
Dynamic programming as frame for efficient parsing
收藏 引用
Computer Science Society (SCCC) international conference Chilean FLAGGED
作者: M.V. Ferro D.C. Souto M.A.A. Pardo Departamento de Computación Universidad de La Coruña La Coruna Spain Estrada Santiago Noia Centro Ramón Piñeiro para a Investigación en Humanidades Santiago de Compostela Spain Departamento de Computacion Universidad de La Coruña La Coruna Spain
the last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. this is due to the compactness of the representations, which are turning this paradigm into a comm... 详细信息
来源: 评论
A dynamic logic model for the formal foundation of object-oriented analysis and design
A dynamic logic model for the formal foundation of object-or...
收藏 引用
Computer Science Society (SCCC) international conference Chilean FLAGGED
作者: C. Pons G. Baum M. Felder Lifia Universidad Nacional de La Plata Argentina Universidad de Buenos Aires Argentina
the authors present an object-oriented conceptual model representing the information acquired during object-oriented analysis and design. It fulfills the three requirements for conceptual models: formality, usability ... 详细信息
来源: 评论