895 search results - page 144 / 179 » A Spectrum of Applications of Automated Reasoning |
156
click to vote
GIS
2007
ACM
15 years 11 months ago
2007
ACM
Many Geographic Information System (GIS) applications must handle large geospatial datasets stored in raster representation. Spatial joins over raster data are important queries i...
161
click to vote
GIS
2007
ACM
15 years 11 months ago
2007
ACM
We consider trails to be a document type of growing importance, authored in abundance as locative technologies become embedded in mobile devices carried by billions of humans. As ...
152
click to vote
GIS
2008
ACM
15 years 11 months ago
2008
ACM
In order to provide context?aware Location?Based Services, real location data of mobile users must be collected and analyzed by spatio?temporal data mining methods. However, the d...
175
click to vote
GIS
2008
ACM
15 years 11 months ago
2008
ACM
Existing techniques for autonomous indoor navigation are often environment-specific and thus limited in terms of their applicability. In this paper, we take a fundamentally differ...
159
click to vote
GIS
2008
ACM
15 years 11 months ago
2008
ACM
d Abstract] K. Buchin Dept. Computer Science Utrecht University The Netherlands buchin@cs.uu.nl M. Buchin Dept. Computer Science Utrecht University The Netherlands maike@cs.uu.nl ...