6153 search results - page 97 / 1231 » Modeling Cyclic Change |
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
The Kneed Walker is a physics-based model derived from a planar biomechanical characterization of human locomotion. By controlling torques at the knees, hips and torso, the model ...
ESORICS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
WECWIS
2005
IEEE
14 years 2 months ago
2005
IEEE
ER
2004
Springer
14 years 2 months ago
2004
Springer
WWW
2010
ACM
13 years 9 months ago
2010
ACM
