Sciweavers

254 search results - page 8 / 51
» Cartographic Generalization as a Combination of Representing...
Sort
View
AIMSA
1998
Springer
13 years 12 months ago
Knowledge Granularity and Action Selection
Abstract. In this paper we introduce the concept of knowledge granularity and study its influence on an agent's action selection process. Action selection is critical to an ag...
Yiming Ye, John K. Tsotsos
JAR
2007
129views more  JAR 2007»
13 years 7 months ago
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
To use description logics (DLs) in an application, it is crucial to identify a DL that is sufficiently expressive to represent the relevant notions of the application domain, but f...
Carsten Lutz, Maja Milicic
AAAI
1998
13 years 9 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
ECCV
2004
Springer
14 years 9 months ago
Iso-disparity Surfaces for General Stereo Configurations
Abstract. This paper discusses the iso-disparity surfaces for general stereo configurations. These are the surfaces that are observed at the same resolution along the epipolar line...
Marc Pollefeys, Sudipta N. Sinha
FOSSACS
2000
Springer
13 years 11 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses