Sciweavers

3055 search results - page 473 / 611
» Conceptual Modeling for Data Integration
Sort
View
ICRA
2000
IEEE
89views Robotics» more  ICRA 2000»
15 years 8 months ago
A Localization Method Based on Two Omnidirectional Perception Systems Cooperation
This paper deals with an absolute localization paradigm based on the cooperation of an omnidirectional vision system and a low cost panoramic range finder system. These two percep...
Arnaud Clerentin, Laurent Delahoche, Claude P&eacu...
AMDO
2006
Springer
15 years 7 months ago
Predicting 3D People from 2D Pictures
Abstract. We propose a hierarchical process for inferring the 3D pose of a person from monocular images. First we infer a learned view-based 2D body model from a single image using...
Leonid Sigal, Michael J. Black
CAV
2006
Springer
116views Hardware» more  CAV 2006»
15 years 7 months ago
Lazy Shape Analysis
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
ICIP
2010
IEEE
15 years 2 months ago
3D vertebrae segmentation using graph cuts with shape prior constraints
Osteoporosis is a bone disease characterized by a reduction in bone mass, resulting in an increased risk of fractures. To diagnose the osteoporosis accurately, bone mineral densit...
Melih S. Aslan, Asem M. Ali, Dongqing Chen, Ben Ar...
FAST
2009
15 years 1 months ago
HYDRAstor: A Scalable Secondary Storage
HYDRAstor is a scalable, secondary storage solution aimed at the enterprise market. The system consists of a back-end architectured as a grid of storage nodes built around a distr...
Cezary Dubnicki, Leszek Gryz, Lukasz Heldt, Michal...