Sciweavers

4084 search results - page 90 / 817
» Constraints in spatial structures
Sort
View
CAV
2007
Springer
126views Hardware» more  CAV 2007»
15 years 11 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...
172
Voted
OTM
2005
Springer
15 years 10 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 11 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 9 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 10 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