In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using Active Appearance Models. The classical appearancebased tracking su...
Our objective is to obtain a state-of-the art object category
detector by employing a state-of-the-art image classifier
to search for the object in all possible image subwindows....
Andrea Vedaldi, Varun Gulshan, Manik Varma, Andrew...
We propose a method that combines signals from many brain regions observed in functional Magnetic Resonance Imaging (fMRI) to predict the subject’s behavior during a scanning se...
Recently hexagonal image processing has attracted attention. The hexagonal lattice has several advantages in comparison with the rectangular lattice, the conventionally used lattic...