Sciweavers

121 search results - page 9 / 25
» Simulating process chain models with OMNeT
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
13 years 5 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
ICIP
2008
IEEE
14 years 1 months ago
Blind restoration of blurred photographs via AR modelling and MCMC
We propose a new image and blur prior model, based on nonstationary autoregressive (AR) models, and use these to blindly deconvolve blurred photographic images, using the Gibbs sa...
Tom E. Bishop, Rafael Molina, James R. Hopgood
ETT
2002
93views Education» more  ETT 2002»
13 years 7 months ago
Quantum simulation - rare event simulation by means of cloning, thinning and distortion
A method of rare event simulation, termed here quantum simulation, and known also (with some variations) as population Monte Carlo, and Sequential Markov Chain simulation, is appli...
R. G. Addie
WSC
2007
13 years 9 months ago
Modeling and simulation of hard disk dive final assembly using a HDD template
A HDD template is designed and developed for modeling and simulation for final assembly of hard disk drive (HDD) manufacturing using Arena. The designed HDD template is a high fle...
Ahad Ali, Robert de Souza
AIME
2007
Springer
14 years 1 months ago
Knowledge-Based Modeling and Simulation of Diseases with Highly Differentiated Clinical Manifestations
This paper presents the cognitive model of gastroesophageal reflux disease (GERD) developed for the Maryland Virtual Patient simulation and mentoring environment. GERD represents a...
Marjorie McShane, Sergei Nirenburg, Stephen Beale,...