Sciweavers

5373 search results - page 192 / 1075
» Models and Motion Planning
Sort
View
IROS
2009
IEEE
187views Robotics» more  IROS 2009»
15 years 11 months ago
Three-dimensional Limit Cycle Walking with joint actuation
— This paper describes 3D biped walking generation and control based on Limit Cycle Walking. In our study, we use the simplest possible 3D biped model with three DOFs, incorporat...
Kentaro Miyahara, Yuzuru Harada, Dragomir N. Nench...
VR
2007
IEEE
118views Virtual Reality» more  VR 2007»
15 years 10 months ago
Rapid Animation of Laser-scanned Humans
We present a simple and efficient approach to turn laser-scanned human geometry into a realistically moving virtual avatar. Instead of relying on the classical skeleton-based ani...
Edilson de Aguiar, Christian Theobalt, Carsten Sto...
ICPR
2000
IEEE
15 years 8 months ago
Estimating Fluid Optical Flow
In this paper, we address the problem of fluid motion estimation in image sequences. For such motions, standard optical flow methods, based on intensity conservation and spatial...
Thomas Corpetti, Étienne Mémin, Patr...
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 9 months ago
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
Alessandro Armando, Luca Compagna, Pierre Ganty