752 search results - page 43 / 151 » A Markov Chain Model Checker |
129
Voted
IPPS
2007
IEEE
15 years 9 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...
109
click to vote
MONET
2007
15 years 2 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 ...
123
click to vote
ICIAP
2001
Springer
16 years 3 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...
147
click to vote
ICMLC
2005
Springer
15 years 8 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 ...
152
click to vote
CVPR
2007
IEEE
16 years 5 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 ...