757 search results - page 96 / 152 » Monte Carlo Model Checking |
113
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Abstract-- This paper describes the stochastic model order reduction algorithm via stochastic Hermite Polynomials from the practical implementation perspective. Comparing with exis...
95
Voted
WSC
2004
15 years 4 months ago
2004
Current treatment of HIV patients is based on various guidelines that have changed with the advent of newer antiretroviral therapies and the emergence of resistance to them. Howev...
159
Voted
PAMI
2008
15 years 3 months ago
2008
Standard 3D imaging systems process only a single return at each pixel from an assumed single opaque surface. However, there are situations when the laser return consists of multip...
139
Voted
TSMC
2010
14 years 10 months ago
2010
This paper presents a general gait representation framework for video-based human motion estimation. Specifically, we want to estimate the kinematics of an unknown gait from image ...
139
Voted
FS
2011
14 years 7 months ago
2011
Abstract We derive an explicit representation of the transitions of the Heston stochastic volatility model and use it for fast and accurate simulation of the model. Of particular i...