757 search results - page 51 / 152 » Monte Carlo Model Checking |
IEAAIE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper we describe a new nonlinear estimator for filtering systems with nonlinear process and observation models, based on the optimization with RGO (Restricted Ge...
FS
2006
13 years 10 months ago
2006
Using the solution of the one-sided exit problem, a procedure to price Parisian barrier options in a jump-diffusion model with two-sided exponential jumps is developed. By extendin...
WSC
1998
13 years 11 months ago
1998
In simulation modeling and analysis, there are two situations where there is uncertainty about the number of parameters needed to specify a model. The first is in input modeling w...
ICSOC
2003
Springer
14 years 3 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—One of the key factors underlying the popularity of Low-density parity-check (LDPC) code is its iterative decoding algorithm that is amenable to efficient hardware implementati...