Sciweavers

4084 search results - page 90 / 817
» Constraints in spatial structures
Sort
View
CAV
2007
Springer
126views Hardware» more  CAV 2007»
15 years 7 months ago
Shape Analysis for Composite Data Structures
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino...
OTM
2005
Springer
15 years 7 months ago
An Efficient Trajectory Index Structure for Moving Objects in Location-Based Services
Because moving objects usually moves on spatial networks, efficient trajectory index structures are required to gain good retrieval performance on their trajectories. However, ther...
Jae-Woo Chang, Jung-Ho Um, Wang-Chien Lee
CVPR
2008
IEEE
15 years 8 months ago
Scene understanding with discriminative structured prediction
Spatial priors play crucial roles in many high-level vision tasks, e.g. scene understanding. Usually, learning spatial priors relies on training a structured output model. In this...
Jinhui Yuan, Jianmin Li, Bo Zhang
SIGMOD
2000
ACM
164views Database» more  SIGMOD 2000»
15 years 5 months ago
A Data Model and Data Structures for Moving Objects Databases
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...
Luca Forlizzi, Ralf Hartmut Güting, Enrico Na...
ER
2004
Springer
107views Database» more  ER 2004»
15 years 7 months ago
A Scaleless Data Model for Direct and Progressive Spatial Query Processing
A progressive spatial query retrieves spatial data based on previous queries (e.g., to fetch data in a more restricted area with higher resolution). A direct query, on the other si...
Sai Sun, Sham Prasher, Xiaofang Zhou