4064 search results - page 213 / 813 » Animation: can it facilitate |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
GEOINFORMATICA
2008
13 years 8 months ago
2008
Abstract. Widespread availability of location aware devices (such as GPS receivers) promotes capture of detailed movement trajectories of people, animals, vehicles and other moving...
IJRR
2006
13 years 8 months ago
2006
The spring-loaded inverted pendulum (SLIP) is a simple, passivelyelastic two-degree-of-freedom model for legged locomotion that describes the center-of-mass dynamics of many anima...
NN
2006
Springer
13 years 8 months ago
2006
Springer
Previous studies have shown that non-human primates can generate highly stochastic choice behaviour, especially when this is required during a competitive interaction with another...
SMA
2008
ACM
13 years 8 months ago
2008
ACM
We present an interactive algorithm for continuous collision detection between deformable models. We introduce two techniques to improve the culling efficiency and reduce the numb...