2519 search results - page 74 / 504 » Reasoning with Textual Cases |
138
click to vote
JIRS
2007
15 years 4 months ago
2007
Retaining functionality of a mobile robot in the presence of faults is of particular interest in autonomous robotics. From our experiences in robotics we know that hardware is one ...
144
click to vote
AGI
2008
15 years 5 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...
112
click to vote
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
133
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
142
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a knowledge engineering approach for image classification that is based on probabilistic reasoning systems. The approach gives the knowledge engineer a systematic way ...