Sciweavers

2610 search results - page 400 / 522
» Computational Probabilistic Non-interference
Sort
View
CVPR
2010
IEEE
16 years 2 months ago
Denoising vs. Deblurring: HDR Imaging Techniques Using Moving Cameras
New cameras such as the Canon EOS 7D and Pointgrey Grasshopper have 14-bit sensors. We present a theoretical analysis and a practical approach that exploit these new cameras with ...
Li Zhang, Alok Deshpande, Xin Chen
CVPR
2010
IEEE
16 years 2 months ago
Efficient Extraction of Human Motion Volumes by Tracking
We present an automatic and efficient method to extract spatio-temporal human volumes from video, which combines top-down model-based and bottom-up appearancebased approaches. Fr...
Juan Carlos Niebles, Bohyung Han, Li Fei-Fei
CVPR
2010
IEEE
16 years 2 months ago
3D Shape Scanning with a Time-of-Flight Camera
We describe a method for 3D object scanning by aligning depth scans that were taken from around an object with a time-of-flight camera. These ToF cameras can measure depth scans ...
Christian Theobalt, Yan Cui, Sebastian Schuon, Seb...
STACS
2010
Springer
16 years 1 months ago
Unsatisfiable Linear CNF Formulas Are Large and Complex
We call a CNF formula linear if any two clauses have at most one variable in common. We show that there exist unsatisfiable linear k-CNF formulas with at most 4k2 4k clauses, and ...
Dominik Scheder
PAM
2010
Springer
16 years 1 months ago
Extracting Intra-domain Topology from mrinfo Probing
Active and passive measurements for topology discovery have known an impressive growth during the last decade. If a lot of work has been done regarding inter-domain topology discov...
Jean-Jacques Pansiot, Pascal Mérindol, Beno...