688 search results - page 64 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper we first introduce four kinds of modification of Symmetric Scoring [1] which produce likelihood ratios that do not need to be explicitly normalized, i.e. T-norm, Z...
CG
1999
Springer
13 years 7 months ago
1999
Springer
Hybrid geometry- and image-based modeling and rendering systems use photographs taken of a real-world environment and mapped onto the surfaces of a 3D model to achieve photorealis...
SIMVIS
2003
13 years 9 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...
BMCBI
2010
13 years 8 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
PARA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...