2649 search results - page 308 / 530 » Temporal Theories of Reasoning |
IJCAI
2007
13 years 10 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
ESANN
2006
13 years 10 months ago
2006
We explore the capability of the Self Organizing Map for structured data (SOM-SD) to compress continuous time data recorded from a kinematic tree, which can represent a robot or an...
IMSA
2001
13 years 10 months ago
2001
This paper deals with the coupling of AROM, an objectbased knowledge representation with V-STORM, a multimedia presentation system. We propose an AROM knowledge base which constit...
WSCG
2001
13 years 10 months ago
2001
This paper presents a fast disparity analysis approach based on a hybrid block- and pixel-recursive matching scheme. The key idea is to choose efficiently a small number of candid...
IJCAI
1997
13 years 10 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...