96 search results - page 7 / 20 » Bayesian Methods for Discrete Event Simulation |
AIS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: This paper gives a short overview of the multiagent-based simulation system PlaSMA. The system provides distributed discrete event simulation with conservative synchronisation. P...
JUCS
2007
13 years 7 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
HYBRID
2001
Springer
14 years 4 days ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
SIBGRAPI
2008
IEEE
14 years 2 months ago
2008
IEEE
Bayesian inference methods are commonly applied to the classification of brain Magnetic Resonance images (MRI). We use the Maximum Evidence (ME) approach to estimate the most prob...