2838 search results - page 363 / 568 » Verifying Controlled Components |
132
Voted
CGF
2002
15 years 16 days ago
2002
Our goal is to design and build a tool for the creation of expressive character animation. Virtual puppetry, also known as performance animation, is a technique in which the user ...
108
click to vote
ENTCS
2002
15 years 15 days ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
108
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— We present a novel approach to legged locomotion over rough terrain that is thoroughly rooted in optimization. This approach relies on a hierarchy of fast, anytime algorithms t...
115
Voted
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
The paper described a novel method for detecting and identifying faults that occur in the actuator of control systems with input and output signals related to the component itself....
103
Voted
GI
2009
Springer
14 years 10 months ago
2009
Springer
: The European Distributed Institute of Taxonomy (EDIT) platform, as well as biodiversity providers in general, provides a multitude of web-based taxonomic applications and service...