756 search results - page 61 / 152 » Using topology for spatial reasoning |
AI
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
The strength of GIS is in providing a rich data infrastructure for combining disparate data in meaningful ways by using a spatial arrangement (e.g., proximity). As a toolbox, a GI...
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
167
click to vote
GIS
2008
ACM
15 years 11 months ago
2008
ACM
This paper proposes a novel framework for mining regional colocation patterns with respect to sets of continuous variables in spatial datasets. The goal is to identify regions in ...
GIS
2009
ACM
15 years 2 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...