Sciweavers

4973 search results - page 863 / 995
» Probabilistic Algorithms in Robotics
Sort
View
141
Voted
ICCAD
2006
IEEE
101views Hardware» more  ICCAD 2006»
16 years 1 months ago
Guaranteeing performance yield in high-level synthesis
Meeting timing constraint is one of the most important issues for modern design automation tools. This situation is exacerbated with the existence of process variation. Current hi...
Wei-Lun Hung, Xiaoxia Wu, Yuan Xie
141
Voted
CVPR
2010
IEEE
16 years 25 days 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
121
Voted
CVPR
2010
IEEE
16 years 23 days 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
STACS
2010
Springer
15 years 11 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
ISBI
2009
IEEE
15 years 11 months ago
Instance-Based Generative Biological Shape Modeling
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
Tao Peng, Wei Wang, Gustavo K. Rohde, Robert F. Mu...