65 search results - page 11 / 13 » A generic approach to simultaneous tracking and verification... |
APLAS
2010
ACM
13 years 11 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
NIPS
2004
14 years 8 days ago
2004
We present a generative model and stochastic filtering algorithm for simultaneous tracking of 3D position and orientation, non-rigid motion, object texture, and background texture...
CVPR
2000
IEEE
15 years 27 days ago
2000
IEEE
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. However, most work on tracking and analysis of figure motion has employed eith...
ICCV
2005
IEEE
15 years 24 days ago
2005
IEEE
We propose a new technique for fusing multiple cues to robustly segment an object from its background in video sequences that suffer from abrupt changes of both illumination and p...
ICCV
2009
IEEE
13 years 8 months ago
2009
IEEE
A good training dataset, representative of the test images expected in a given application, is critical for ensuring good performance of a visual categorization system. Obtaining ...