209 search results - page 39 / 42 » Dealing with stochastic reachability |
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...
TSMC
2008
13 years 7 months ago
2008
This paper deals with the development of a computer model to estimate the subjective workload score of individuals by evaluating their heart-rate (HR) signals. The identification o...
EUSFLAT
2009
13 years 5 months ago
2009
Besides the problem of searching for effective methods for extracting knowledge from large databases (KDD) there are some additional problems with handling ecological data, namely ...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
A new approach to active contours on statistical manifolds is presented. The statistical manifolds are 2dimensional Riemannian manifolds that are statistically defined by maps that...