2346 search results - page 88 / 470 » Hierarchical State Machines |
SPIN
2005
Springer
14 years 1 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
ENTCS
2007
13 years 7 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...
INTERACT
2007
13 years 9 months ago
2007
We examine whether or not it is possible to determine, recognize and/or report the emotional state of a group of people through touch and/or body motion. We present the initial des...
KI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...
ECML
2004
Springer
14 years 1 months ago
2004
Springer
HEXQ is a reinforcement learning algorithm that discovers hierarchical structure automatically. The generated task hierarchy repthe problem at different levels of abstraction. In ...