Sciweavers

671 search results - page 5 / 135
» Spatial Reasoning with a Hole
Sort
View
COSIT
1997
Springer
143views GIS» more  COSIT 1997»
13 years 11 months ago
Using Hierarchical Spatial Data Structures for Hierarchical Spatial Reasoning
This paper gives a definition of Hierarchical Spatial Reasoning, which computes increasingly better results in a hierarchical fashion and stops the computation when a result is ac...
Sabine Timpf, Andrew U. Frank
ICDE
2007
IEEE
104views Database» more  ICDE 2007»
14 years 1 months ago
Filtering Frequent Spatial Patterns with Qualitative Spatial Reasoning
In frequent geographic pattern mining a large amount of patterns can be non-novel and non-interesting. This problem has been addressed recently, and background knowledge is used t...
Vania Bogorny, Bart Moelans, Luis Otávio Al...
FLOPS
2001
Springer
14 years 18 hour ago
A Simply Typed Context Calculus with First-Class Environments
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyam...
ER
2007
Springer
103views Database» more  ER 2007»
14 years 1 months ago
Ensuring the Semantic Correctness of Complex Regions
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...