4573 search results - page 566 / 915 » Automated Reasoning |
139
click to vote
GIS
2008
ACM
15 years 5 months ago
2008
ACM
Location-based services are increasingly popular and it is a key challenge to efficiently support query processing. We present a novel design to process large numbers of location...
175
click to vote
GIS
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we study in-network query processing in disconnected mobile environments, where both ad-hoc communication and infrastructure communication are available. Depending o...
154
click to vote
GIS
2008
ACM
15 years 5 months ago
2008
ACM
The use of centralized, real-time position tracking is proliferating in the areas of logistics and public transportation. Real-time positions can be used to provide up-to-date inf...
124
click to vote
GIS
2008
ACM
15 years 5 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
143
click to vote
GIS
2008
ACM
15 years 5 months ago
2008
ACM
Bintrees based on longest edge bisection and hierarchies of diamonds are popular multiresolution techniques on regularly sampled terrain datasets. In this work, we consider sparse...