Sciweavers

19174 search results - page 341 / 3835
» Computer Animation Techniques
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
CVPR
2009
IEEE
3130views Computer Vision» more  CVPR 2009»
17 years 1 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...
CHI
2003
ACM
16 years 7 months ago
The kinedit system: affective messages using dynamic texts
Kinetic (dynamic) typography has demonstrated the ability to add significant emotive content and appeal to expressive text, allowing some of the qualities normally found in film a...
Jodi Forlizzi, Johnny C. Lee, Scott E. Hudson
COSIT
2007
Springer
114views GIS» more  COSIT 2007»
16 years 25 days ago
Spatial Information Extraction for Cognitive Mapping with a Mobile Robot
When animals (including humans) first explore a new environment, what they remember is fragmentary knowledge about the places visited. Yet, they have to use such fragmentary knowl...
Jochen Schmidt, Chee K. Wong, Wai K. Yeap
HUMO
2007
Springer
16 years 25 days ago
Nonparametric Density Estimation with Adaptive, Anisotropic Kernels for Human Motion Tracking
In this paper, we suggest to model priors on human motion by means of nonparametric kernel densities. Kernel densities avoid assumptions on the shape of the underlying distribution...
Thomas Brox, Bodo Rosenhahn, Daniel Cremers, Hans-...