Sciweavers

4394 search results - page 574 / 879
» Designing agent chips
Sort
View
AAAI
1990
15 years 7 months ago
Skolem Functions and Equality in Automated Deduction
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
William McCune
AAAI
1990
15 years 7 months ago
Logical Task Modelling for Man-Machine Dialogue
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
M. David Sadek
IAT
2010
IEEE
15 years 4 months ago
Determining Relevant Product Information Sources
Abstract--This position paper describes the challenges related to federated enterprise search over heterogeneous product information sources. It focuses on the aspect of finding re...
Matthias Wauer
JCIT
2010
95views more  JCIT 2010»
15 years 1 months ago
Measuring Concept Similarity of Heterogeneous Ontologies in Multi-angent System
Different kinds of agents in a multi-agent system have different knowledge structure, which results in difficulties of interaction and coordination among agents. At present, ontol...
Chenming Li, Lizhong Xu, Chunxia Yu, Xiaodong Wei
DAC
2004
ACM
16 years 7 months ago
Heterogeneous MP-SoC: the solution to energy-efficient signal processing
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...
Tim Kogel, Heinrich Meyr