744 search results - page 41 / 149 » Observations on the Decidability of Transitions |
AAAI
2008
13 years 11 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
FCT
2007
Springer
14 years 29 days ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— With the goal of developing biologically inspired manipulation strategies for an anthropomorphic hand, we investigated how the human central nervous system utilizes the hands r...
APN
1993
Springer
14 years 1 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...