8658 search results - page 1301 / 1732 » Models of Command and Control |
199
click to vote
CGI
2001
IEEE
15 years 10 months ago
2001
IEEE
Inverse kinmatics is one of the most popular method in computer graphics to control 3D multi-joint characters. In this paper, we propose an inverse kinematics algorithm that takes...
171
click to vote
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Due to air traffic growth and especially hubs development, major European airports can easily become bottlenecks in the global air transportation network. Therefore, accurate model...
218
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
190
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
192
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: This paper presents the first evidence that the Spring Loaded Inverted Pendulum (SLIP) may be "anchored" in our recently designed compliant leg hexapod robot, RHex. Exp...