Sciweavers

741 search results - page 111 / 149
» Robust Constraint Solving Using Multiple Heuristics
Sort
View
CVPR
2005
IEEE
16 years 4 months ago
Hybrid Models for Human Motion Recognition
Probabilistic models have been previously shown to be efficient and effective for modeling and recognition of human motion. In particular we focus on methods which represent the h...
Claudio Fanti, Lihi Zelnik-Manor, Pietro Perona
ECCV
2010
Springer
15 years 6 months ago
Cascaded Confidence Filtering for Improved Tracking-by-Detection
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
15 years 10 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
ISBI
2007
IEEE
15 years 8 months ago
Validation of a New Optimisation Algorithm for Registration Tasks in Medical Imaging
A number of problems frequently encountered in brain image analysis can be conveniently solved within a registration framework, such as alignment of mono- or multi-sequence Magnet...
Nicolas Wiest-Daesslé, Sylvain Prima, Sean ...
ICPR
2010
IEEE
14 years 12 months ago
Learning the Kernel Combination for Object Categorization
Although Support Vector Machines(SVM) succeed in classifying several image databases using image descriptors proposed in the literature, no single descriptor can be optimal for ge...
Deyuan Zhang, Xiaolong Wang, Bingquan Liu