981 search results - page 69 / 197 » Negation in Spatial Reasoning |
SPIN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
SPATIALCOGNITION
1998
Springer
14 years 2 months ago
1998
Springer
In the course of acquiring knowledge about layouts and maps spatial information can undergo considerable changes and distortions, which systematically affect knowledge-based judgme...
JUCS
2002
13 years 9 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. A major reason leading to tracking failure is the spatial distractions that exhibit similar visual appearances as the target, because they also generate good matches to t...
AAAI
2004
13 years 11 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...