Sciweavers

980 search results - page 110 / 196
» GIS
Sort
View
COSIT
2001
Springer
158views GIS» more  COSIT 2001»
15 years 2 months ago
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
Alexander Scivos, Bernhard Nebel
COSIT
2001
Springer
128views GIS» more  COSIT 2001»
15 years 2 months ago
True Grid
The Renaissance architect, moral philosopher, cryptographer, mathematician, Papal adviser, painter, city planner and land surveyor Leon Battista Alberti provided the theoretical fo...
Barry Smith
COSIT
1999
Springer
119views GIS» more  COSIT 1999»
15 years 2 months ago
The Role of Identity Conditions in Ontology Design
Cur rent ont ologi es' upp er-le vel tax onomi c str uctur e is oft en qui te com plica ted and hard to und ersta nd. In thi s pap er I sho w how the the oret ical too ls of ...
Nicola Guarino
COSIT
1999
Springer
124views GIS» more  COSIT 1999»
15 years 2 months ago
A Predication Calculus for Qualitative Spatial Representations
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...
Carola Eschenbach
COSIT
1999
Springer
189views GIS» more  COSIT 1999»
15 years 2 months ago
A Formal Model of the Process of Wayfinding in Built Environments
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
Martin Raubal, Michael F. Worboys