咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献
  • 10 册 图书

馆藏范围

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

日期分布

学科分类号

  • 286 篇 工学
    • 273 篇 计算机科学与技术...
    • 190 篇 软件工程
    • 19 篇 控制科学与工程
    • 13 篇 电气工程
    • 12 篇 信息与通信工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 电子科学与技术(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 87 篇 理学
    • 71 篇 数学
    • 8 篇 系统科学
    • 5 篇 物理学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 37 篇 管理学
    • 28 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
    • 5 篇 药学(可授医学、理...
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 86 篇 logic programmin...
  • 29 篇 knowledge repres...
  • 18 篇 semantics
  • 13 篇 programming
  • 12 篇 computer circuit...
  • 10 篇 computer program...
  • 9 篇 object oriented ...
  • 9 篇 artificial intel...
  • 9 篇 ontology
  • 8 篇 logic gates
  • 8 篇 mathematical log...
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits

机构

  • 2 篇 genusion inc. am...
  • 2 篇 computer science...
  • 2 篇 univ adelaide sc...
  • 2 篇 faculty of infor...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 univ minho ctr a...
  • 2 篇 dlvsyst srl arca...
  • 2 篇 listic universit...
  • 2 篇 school of comput...
  • 2 篇 vienna univ tech...
  • 2 篇 school of softwa...
  • 2 篇 open university ...
  • 2 篇 centro algoritmi...
  • 2 篇 facultad de mate...
  • 2 篇 univ calabria de...
  • 2 篇 etsii universida...
  • 2 篇 university of wi...
  • 2 篇 sri internationa...
  • 2 篇 univ london impe...

作者

  • 5 篇 vicente henrique
  • 3 篇 dastani mehdi
  • 3 篇 pereira luís mon...
  • 3 篇 brain martin
  • 3 篇 neves josé
  • 3 篇 heymans stijn
  • 3 篇 tompits hans
  • 3 篇 de vos marina
  • 2 篇 meseguer josé
  • 2 篇 hommersom arjen
  • 2 篇 durán f.
  • 2 篇 porto antónio
  • 2 篇 n. ajika
  • 2 篇 leone nicola
  • 2 篇 dell’acqua piera...
  • 2 篇 de mel geeth
  • 2 篇 madalina croitor...
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.

语言

  • 357 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是221-230 订阅
排序:
Transformations of signed-binary number representations for efficient VLSI arithmetic  3
Transformations of signed-binary number representations for ...
收藏 引用
3rd IEEE international workshop on System-on-Chip for Real-Time Applications
作者: Andreev, BD Titlebaum, EL Friedman, EG Univ Rochester Dept Elect & Comp Engn Rochester NY 14627 USA
The VLSI implementation of arithmetic operations may be significantly improved by using non-conventional number representations and transforming intermediate results from one format to another format. For a target fun... 详细信息
来源: 评论
Fuzzy logic inference for occupancy state modeling and data fusion
Fuzzy logic inference for occupancy state modeling and data ...
收藏 引用
IEEE international Symposium on Computational Intelligence for Measurement Systems and Applications
作者: Payeur, P Univ Ottawa Sch Informat Technol & Engn Vis Imaging Video & Audio Res Lab Ottawa ON K1N 6N5 Canada
Autonomous robotic systems require a detailed model of space occupancy to be built from sensory information in order to navigate safely in their environment. Probabilistic occupancy models have been proposed that use ... 详细信息
来源: 评论
An abstract concept of optimal implementation
An abstract concept of optimal implementation
收藏 引用
WRS 2003, 3rd international workshop on Reduction Strategies in Rewriting and programming - Final Proceedings
作者: Khasidashvili, Zurab Glauert, John Logic and Validation Technology Intel IDC Haifa Israel School of Computing Sciences UEA Norwich NR4 7TJ United Kingdom
In previous works, we introduced Stable Deterministic Residual Structures (SDRSs), Abstract Reduction Systems with an axiomatized residual relation which model orthogonal term and graph rewriting systems, and Determin... 详细信息
来源: 评论
Transformations of signed-binary number representations for efficient VLSI arithmetic
Transformations of signed-binary number representations for ...
收藏 引用
IEEE international workshop on System-on-Chip for Real-Time Applications
作者: B.D. Andreev E.L. Titlebaum E.G. Friedman Department of Electrical and Computer Engineering University of Rochester Rochester NY USA
The VLSI implementation of arithmetic operations may be significantly improved by using non-conventional number representations and transforming intermediate results from one format to another format. For a target fun... 详细信息
来源: 评论
An ontology-based graphical tool for intelligent instruments
An ontology-based graphical tool for intelligent instruments
收藏 引用
IEEE international Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA)
作者: R. Dapoigny P. Barlatier E. Benoit L. Foulloy LISTIC Université de Savoie Annecy-le-vieux France CNAM LYON Lyon France
This paper proposes a structured graphical method which relates both functional and behavioral requirements and software specifications to a detailed software design and implementation of intelligent instruments. The ... 详细信息
来源: 评论
A robust handshake for asynchronous system
A robust handshake for asynchronous system
收藏 引用
IEEE international workshop on System-on-Chip for Real-Time Applications
作者: Kuo-hsing Cheng Wei-Chun Chang Chia-Ming Tu Department of Electrical Engineering Tamkang University Tamsui Taiwan
In this paper, a new handshake methodology to enhance the performance of the asynchronous systems is proposed. The proposed handshake methodology has more flexibility to design an asymmetric asynchronous system. The p... 详细信息
来源: 评论
Utilising the event calculus for policy driven adaptation on mobile systems
Utilising the event calculus for policy driven adaptation on...
收藏 引用
3rd international workshop on Policies for Distributed Systems and Networks
作者: Efstratiou, C Friday, A Davies, N Cheverst, K Univ Lancaster Dept Comp Lancaster LA1 4YR England
Adaptation is an important requirement for mobile applications due to the varying levels of resource availability that characterises mobile environments. However without proper control, multiple applications can each ... 详细信息
来源: 评论
Toward the formal foundation of ant programming  3rd
Toward the formal foundation of ant programming
收藏 引用
3rd international workshop on Ant Algorithms, ANTS 2002
作者: Birattari, Mauro Di Caro, Gianni Dorigo, Marco IRIDIA Université Libre de Bruxelles CP 194/6 Av. Franklin D. Roosevelt 50 Brussels1050 Belgium
This paper develops the formal framework of ant programming with the goal of gaining a deeper understanding on ant colony optimization and, more in general, on the principles underlying the use of an iterated Monte Ca... 详细信息
来源: 评论
A methodology towards automatic implementation of N-body algorithms
A methodology towards automatic implementation of <i>N</i>-b...
收藏 引用
3rd PanAmerican workshop on Applied and Computational Mathematics
作者: Pauca, VP Rodriguez, AF Sun, X Trivedi, KS Duke Univ Dept Comp Sci Durham NC 27708 USA Duke Univ Dept Elect & Comp Engn Durham NC 27708 USA IBM Corp ITSO Cary NC 27513 USA
We propose a methodology aimed at automating the software development of fast discrete transforms for N-body problems. The methodology starts with a representation of the transform matrix in compact form. Then, two tr... 详细信息
来源: 评论
Specifying coalgebras with modal logic
收藏 引用
THEORETICAL COMPUTER SCIENCE 2001年 第1-2期260卷 119-138页
作者: Kurz, A CWI Ctr Math & Comp Sci NL-1090 GB Amstelveen Netherlands
We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on coalgebras as a semantics of object-oriented programming. Two approaches are taken: First, standard concepts of modal ... 详细信息
来源: 评论