10568 search results - page 712 / 2114 » Computer Intelligence and Formalization |
161
click to vote
SACI
2007
IEEE
16 years 1 months ago
2007
IEEE
: The paper describes a map building module, where the image sequences of the omnidirectional camera are transformed into virtual top-view ones and melted into the global dynamic m...
160
click to vote
AMAI
2004
Springer
16 years 19 days ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
190
click to vote
ICCS
2004
Springer
16 years 18 days ago
2004
Springer
This paper gives a theoretical framework for clustering a set of conceptual graphs characterized by sparse descriptions. The formed clusters are named in an intelligible manner thr...
174
click to vote
AIIA
2001
Springer
15 years 11 months ago
2001
Springer
This paper briefly describes a scalable architecture for implementing autonomous agents that act in a virtual world created for a computer game and must interact with it by suitabl...
198
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...