608 search results - page 100 / 122 » Tests, Proofs and Refinements |
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper considers the problem of model based control of the joints of a snake robot without wheels. The potential range of applications for snake robots are numerous, and de...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
In order to allow for fast recognition of a user’s affective state we discuss innovative holistic and self organizing approaches for efficient facial expression analysis. The f...
SEFM
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...