757 search results - page 26 / 152 » Monte Carlo Model Checking |
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level or tuple-level probability values, which are loaded into the database al...
JFR
2008
13 years 10 months ago
2008
We propose a novel combination of techniques for robustly estimating the position of a mobile robot in outdoor environments using range data. Our approach applies a particle filte...
WSC
2007
14 years 11 days ago
2007
Portfolio credit derivatives that depend on default correlation are increasingly widespread in the credit market. Valuing such products often entails Monte Carlo simulation. Howev...
WSC
1997
13 years 11 months ago
1997
Descriptive Sampling (DS), a Monte Carlo sampling technique based on a deterministic selection of the input values and their random permutation, represents a deep conceptual chang...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
Single-electron devices have drawn much attention in the last two decades. They have been widely used for device research and also show promise as a potential alternative to compl...