Sciweavers

2610 search results - page 400 / 522
» Computational Probabilistic Non-interference
Sort
View
124
Voted
CVPR
2010
IEEE
15 years 11 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
109
Voted
CVPR
2010
IEEE
15 years 11 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
113
Voted
CVPR
2010
IEEE
15 years 11 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
15 years 10 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
15 years 10 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...