11182 search results - page 155 / 2237 » Shape Analysis of Sets |
147
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
120
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
A new evaluation method is presented that employs cut sequence set (CSS) to analyze fault trees. A cut sequence is a set of basic events that fail in a specific order that can indu...
133
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. One of the exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, it is e...
129
click to vote
UAI
2008
15 years 5 months ago
2008
We consider how an agent should update her uncertainty when it is represented by a set P of probability distributions and the agent observes that a random variable X takes on valu...
123
click to vote
CODAS
2001
15 years 5 months ago
2001
An error-comprising workflow dejinition might provoke serious problems to an enterprise especially when it is involved with mission critical business processes. Concurrency of wor...