4084 search results - page 108 / 817 » Constraints in spatial structures |
114
Voted
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
175
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Wireless sensor networks have created new opportunities for data collection in a variety of scenarios, such as environmental and industrial, where we expect data to be temporally ...
107
Voted
ACMACE
2005
ACM
15 years 7 months ago
2005
ACM
The Historic Oakland Cemetery in downtown Atlanta provides a unique setting for exploring the challenges of location-based mixed-reality experience design. Our objective is to ent...
108
click to vote
RSS
2007
15 years 3 months ago
2007
— Several recent algorithms have formulated the SLAM problem in terms of non-linear pose graph optimization. These algorithms are attractive because they offer lower computationa...
112
click to vote
ICMI
2009
Springer
15 years 8 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...