757 search results - page 131 / 152 » Monte Carlo Model Checking |
UAI
2001
13 years 10 months ago
2001
This paper presents a new deterministic approximation technique in Bayesian networks. This method, "Expectation Propagation," unifies two previous techniques: assumed-de...
BMCBI
2008
13 years 9 months ago
2008
Background: Discovering overrepresented patterns in amino acid sequences is an important step in protein functional element identification. We adapted and extended NestedMICA, an ...
CG
2008
Springer
13 years 9 months ago
2008
Springer
Particle-based simulation methods are used to model a wide range of complex phenomena and to solve time-dependent problems of various scales. Effective visualizations of the resul...
CGF
2008
13 years 9 months ago
2008
We present an acoustic rendering approach visualizing the listener-specific contribution of frequency-dependent pressure fields on a scene geometry with acoustic reflection and sc...
CPHYSICS
2008
13 years 9 months ago
2008
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...