Sciweavers

1005 search results - page 157 / 201
» Temporal Structures
Sort
View
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
15 years 4 months ago
A stream-based hierarchical anchoring framework
— 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...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
ENTCS
2007
104views more  ENTCS 2007»
14 years 10 months ago
Exogenous Probabilistic Computation Tree Logic
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,...
CORR
2004
Springer
195views Education» more  CORR 2004»
14 years 9 months ago
Detecting User Engagement in Everyday Conversations
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...
Chen Yu, Paul M. Aoki, Allison Woodruff
ICCS
2009
Springer
15 years 4 months ago
Time Acceleration Methods for Advection on the Cubed Sphere
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, ...
CVPR
2009
IEEE
3130views Computer Vision» more  CVPR 2009»
16 years 5 months ago
Motion Capture Using Joint Skeleton Tracking and Surface Estimation
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...