2669 search results - page 109 / 534 » Complex Spatial Relationships |
176
click to vote
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
Optimizing queries that involve operations on spatial data requires estimating the selectivity and cost of these operations. In this paper, we focus on estimating the cost of spat...
ECAL
2007
Springer
15 years 4 months ago
2007
Springer
It is well known that the evolution of cooperative behaviour is dependant upon certain environmental conditions. One such condition that has been extensively studied is the use of ...
SPIN
2007
Springer
15 years 4 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...
ROBOCUP
1999
Springer
15 years 2 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
SOFSEM
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...