1855 search results - page 6 / 371 » Probabilistic Frame-Based Systems |
140
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We study nondeterministic and probabilistic versions of a discrete dynamical system (due to T. Ant
140
click to vote
STACS
1997
Springer
15 years 10 months ago
1997
Springer
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such...
161
Voted
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a knowledge engineering approach for image classification that is based on probabilistic reasoning systems. The approach gives the knowledge engineer a systematic way ...
169
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
162
click to vote
QEST
2009
IEEE
16 years 17 days ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...