199 search results - page 1 / 40 » Dense reconstruction on-the-fly |
CAV
2003
Springer
13 years 8 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
FM
1999
Springer
13 years 9 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
ICCV
2009
IEEE
13 years 2 months ago
2009
IEEE
Dense 3D reconstruction of extremely fast moving objects could contribute to various applications such as body structure analysis and accident avoidance and so on. The actual case...
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
This paper presents a novel approach for dense reconstruction from a single-view of a repetitive scene structure. Given an image and its detected repetition regions, we model the ...
CVPR
2012
IEEE
11 years 7 months ago
2012
IEEE
We present a novel system that is capable of generating live dense volumetric reconstructions based on input from a micro aerial vehicle. The distributed reconstruction pipeline i...