929 search results - page 37 / 186 » Performance analysis of stochastic process algebra models us... |
127
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
144
click to vote
EH
2005
IEEE
15 years 9 months ago
2005
IEEE
Manufacturing processes are a key source of faults in complex hardware systems. Minimizing this impact of manufacturing uncertainties is one way towards achieving fault tolerant s...
112
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
Over the years, researchers in the image analysis community have successfully used various statistical modeling methods to segment, classify, and annotate digital images. In this ...
128
Voted
TR
2010
14 years 10 months ago
2010
This paper reports on a theoretical Bayesian modeling development for residual life prediction in the context of condition-based maintenance. At each monitoring point during a comp...
126
Voted
TSD
2000
Springer
15 years 7 months ago
2000
Springer
A method for stochastically modeling bidirectionality in chart parsing is presented. A bidirectional parser, which starts analysis from certain dynamically determined positions of ...