Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
A perceptual human-machine interface based on visual appearence of hand movements is presented. Gestures are defined as the temporal evolution of 3D poses the of user's hand....
Giulia Gastaldi, Alessandro Pareschi, Silvio P. Sa...
It is now common practice in machine vision to define the variability in an object's appearance in a factored manner, as a combination of shape and texture transformations. I...
We propose a statistical formulation for 2-D human pose estimation from single images. The human body configuration is modeled by a Markov network and the estimation problem is to...
We introduce an approach to accurately detect and segment partially occluded objects in various viewpoints and scales. Our main contribution is a novel framework for combining obj...