752 search results - page 122 / 151 » A Markov Chain Model Checker |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
DSN
2011
IEEE
12 years 8 months ago
2011
IEEE
—In this paper we extend the class of MAP queueing networks to include blocking models, which are useful to describe the performance of service instances which have a limited con...
ASMTA
2008
Springer
13 years 10 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
ECCV
2002
Springer
14 years 10 months ago
2002
Springer
Many approaches have been proposed to locate faces in an image. There are, however, two problems in previous facial shape models using feature points. First, the dimension of the s...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In a variety of disciplines such as social sciences, psychology, medicine and economics, the recorded data are considered to be noisy measurements of latent variables connected by...