This work investigates the use of nonlinear dependencies in natural image sequence statistics to learn higher-order structures in natural videos. We propose a two-layer model that...
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
We investigate dynamical models of human motion that can
support both synthesis and analysis tasks. Unlike coarser
discriminative models that work well when action classes are ...
Surface data such as the segmented cortical surface of the human brain plays an important role in medical imaging. To increase the signal-to-noise ratio for data residing on the b...