Sciweavers

2291 search results - page 51 / 459
» Representational Reasoning and Verification
Sort
View
AAAI
2006
13 years 10 months ago
Approximate Compilation for Embedded Model-based Reasoning
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
Barry O'Sullivan, Gregory M. Provan
CIARP
2004
Springer
14 years 2 months ago
Speaker Verification Using Coded Speech
Abstract. The implementation of a pseudo text-independent Speaker Verification system is described. This system was designed to use only information extracted directly from the cod...
Antonio Moreno-Daniel, Biing-Hwang Juang, Juan Art...
ECSQARU
2007
Springer
14 years 3 months ago
Algebraic Structures for Bipolar Constraint-Based Reasoning
The representation of both scales of cost and scales of benefit is very natural in a decision-making problem: scales of evaluation of decisions are often bipolar. The aim of this ...
Hélène Fargier, Nic Wilson
CORR
2004
Springer
111views Education» more  CORR 2004»
13 years 8 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
AEI
1999
60views more  AEI 1999»
13 years 8 months ago
Rule-base content verification using a digraph-based modelling approach
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
G. S. Gursaran, S. Kanungo, A. K. Sinha