172 search results - page 24 / 35 » Testing Reactive Probabilistic Processes |
123
Voted
UTP
2010
15 years 17 days ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
141
Voted
ISBI
2011
IEEE
14 years 5 months ago
2011
IEEE
Segmenting brain from non-brain tissue within magnetic resonance (MR) images of the human head, also known as skull-stripping, is a critical processing step in the analysis of neu...
108
Voted
SIGIR
2002
ACM
15 years 1 months ago
2002
ACM
This poster session examines a probabilistic approach to distributed information retrieval using a Logistic Regression algorithm for estimation of collection relevance. The algori...
150
Voted
IRI
2008
IEEE
15 years 8 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
137
click to vote
SRDS
1993
IEEE
15 years 6 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...