1855 search results - page 6 / 371 » Probabilistic Frame-Based Systems |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We study nondeterministic and probabilistic versions of a discrete dynamical system (due to T. Ant
STACS
1997
Springer
15 years 1 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...
ICMCS
2000
IEEE
15 years 2 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 ...
CAV
1999
Springer
15 years 1 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...
QEST
2009
IEEE
15 years 4 months 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...