671 search results - page 53 / 135 » Spatial Reasoning with a Hole |
GIS
2006
ACM
14 years 8 months ago
2006
ACM
The result of a distance join operation on two sets of objects R, S on a spatial network G is a set P of object pairs <p, q>, p R, q S such that the distance of an object ...
GIS
2009
ACM
14 years 8 months ago
2009
ACM
The spatio-textual spreadsheet is a conventional spreadsheet where spatial attribute values are specified textually. Techniques are presented to automatically find the textually-s...
GIS
2005
ACM
14 years 8 months ago
2005
ACM
A necessary step in the implementation of three-dimensional spatial data types for spatial database systems and GIS is the development of robust geometric primitives. The authors ...
KI
2002
Springer
13 years 7 months ago
2002
Springer
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...
SPIN
2007
Springer
14 years 1 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...