— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan,...
This paper presents a novel application of speech emotion recognition: estimation of the level of conversational engagement between users of a voice communication system. We begin...
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...
R. K. Archibald, Katherine J. Evans, J. B. Drake, ...
This paper proposes a method for capturing the performance
of a human or an animal from a multi-view video
sequence. Given an articulated template model and silhouettes
from a m...
Juergen Gall (BIWI, ETH Zurich), Carsten Stoll (Ma...