Now showing items 1-2 of 2
Nonlinear Dimensionality Reduction for Motion Synthesis and Control
(The University of Edinburgh, 2011)
Synthesising motion of human character animations or humanoid robots is vastly complicated by the large number of degrees of freedom in their kinematics. Control spaces become so large, that automated methods designed ...
Generalized simulation relations with applications in automata theory
(The University of Edinburgh, 2012-06-25)
Finite-state automata are a central computational model in computer science, with numerous and diverse applications. In one such application, viz. model-checking, automata over infinite words play a central rˆole. In ...