895 search results - page 147 / 179 » A Spectrum of Applications of Automated Reasoning |
188
click to vote
GIS
2005
ACM
15 years 11 months ago
2005
ACM
The R*-tree, as a state-of-the-art spatial index, has already found its way into commercial systems like Oracle. In this paper, we aim at improving query performance of the R*tree...
145
click to vote
GIS
2006
ACM
15 years 11 months ago
2006
ACM
In the real world, lots of objects with changing position can be found. Some of them repeat the same movement several times, called periodic movements. Examples include airplanes,...
167
click to vote
GIS
2006
ACM
15 years 11 months ago
2006
ACM
A cartogram is a thematic map that visualizes statistical data about a set of regions like countries, states or provinces. The size of a region in a cartogram corresponds to a par...
153
click to vote
GIS
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a query optimizer module based on cost estimation that chooses the best filtering step algorithm to perform a specific spatial join operation. A set of express...
172
click to vote
GIS
2006
ACM
15 years 11 months ago
2006
ACM
Location information gathered from a variety of sources in the form of sensor data, video streams, human observations, and so on, is often imprecise and uncertain and needs to be ...