Sciweavers

221 search results - page 9 / 45
» Relation Algebras and their Application in Temporal and Spat...
Sort
View
AAAI
1993
13 years 8 months ago
Numeric Reasoning with Relative Orders of Magnitude
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
Philippe Dague
DAGSTUHL
2008
13 years 9 months ago
Constraint Satisfaction Problems with Infinite Templates
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
Manuel Bodirsky
IJPP
2010
111views more  IJPP 2010»
13 years 6 months ago
Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...
Philip K. F. Hölzenspies, Timon D. ter Braak,...
SOCO
1998
Springer
13 years 7 months ago
Approximate analysis of binary topological relations between geographic regions with indeterminate boundaries
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...
F. Benjamin Zhan
GIS
2010
ACM
13 years 6 months ago
Evaluation of cardinal direction developments between moving points
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...
Tao Chen, Hechen Liu, Markus Schneider