Sciweavers

4573 search results - page 784 / 915
» Automated Reasoning
Sort
View
GIS
2007
ACM
16 years 4 months ago
Approximate order-k Voronoi cells over positional streams
Handling streams of positional updates from numerous moving objects has become a challenging task for many monitoring applications. Several algorithms have been recently proposed ...
Kostas Patroumpas, Theofanis Minogiannis, Timos K....
GIS
2007
ACM
16 years 4 months ago
Spatial and temporal analysis of pedestrian egress behavior and efficiency
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...
Atsushi Nara, Paul M. Torrens
GIS
2007
ACM
16 years 4 months ago
TS2-tree - an efficient similarity based organization for trajectory data
The increasingly popular GPS technology and the growing amount of trajectory data it generates create the need for developing applications that efficiently store and query traject...
Petko Bakalov, Eamonn J. Keogh, Vassilis J. Tsotra...
GIS
2007
ACM
16 years 4 months ago
Cluster By: a new sql extension for spatial data aggregation
The development of areas such as remote and airborne sensing, location based services, and geosensor networks enables the collection of large volumes of spatial data. These datase...
Chengyang Zhang, Yan Huang
GIS
2007
ACM
16 years 4 months ago
Exploiting automatically inferred constraint-models for building identification in satellite imagery
The building identification (BID) problem is based on a process that uses publicly available information to automatically assign addresses to buildings in satellite imagery. In pr...
Martin Michalowski, Craig A. Knoblock, Kenneth M. ...