854 search results - page 51 / 171 » Abstracting from Failure Probabilities |
135
click to vote
CAV
2001
Springer
15 years 5 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
105
click to vote
CSDA
2010
15 years 2 months ago
2010
A two component parametric mixture is proposed to model survival after an invasive treatment, when patients may experience different hazards regimes: a risk of early mortality dir...
139
click to vote
QEST
2010
IEEE
14 years 12 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
103
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
116
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We show a statistical pruning approach for maximum likelihood (ML) detection of multiple-input multiple-output (MIMO) systems. We present a general pruning strategy for...