752 search results - page 43 / 151 » A Markov Chain Model Checker |
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
MONET
2007
13 years 8 months ago
2007
Abstract For an indoor ultra-wideband (UWB) communication system, the line-of-sight (LOS) between the transmitter and receiver may be frequently blocked by moving people. Blocking ...
ICIAP
2001
Springer
14 years 8 months ago
2001
Springer
In Computer Vision, two-dimensional shape classifcation is a complex and well studied topic, often basic for three-dimensional object recognition. Object contours are a widely cho...
ICMLC
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a novel approach for adaptive online multi-stroke sketch recognition based on Hidden Markov Model (HMM). The method views the drawing sketch as the result of a ...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
Automatic evaluation of visual tracking algorithms in the absence of ground truth is a very challenging and important problem. In the context of online appearance modeling, there ...