Sciweavers

2925 search results - page 309 / 585
» Input Modeling Using Quantile Statistical Methods
Sort
View
108
Voted
WSC
2008
15 years 3 months ago
Reducing the variance of likelihood ratio greeks in Monte Carlo
We investigate the use of Antithetic Variables, Control Variates and Importance Sampling to reduce the statistical errors of option sensitivities calculated with the Likelihood Ra...
Luca Capriotti
127
Voted
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 6 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
126
Voted
TEI
2012
ACM
256views Hardware» more  TEI 2012»
13 years 8 months ago
Situated modeling: a shape-stamping interface with tangible primitives
Existing 3D sketching methods typically allow the user to draw in empty space which is imprecise and lacks tactile feedback. We introduce a shape-stamping interface where users ca...
Manfred Lau, Masaki Hirose, Akira Ohgawara, Jun Mi...
ISBI
2008
IEEE
16 years 1 months ago
A spline-based forward model for Optical Diffuse Tomography
Reconstruction algorithms for Optical Diffuse Tomography (ODT) rely heavily on fast and accurate forward models. Arbitrary geometries and boundary conditions need to be handled ri...
Jean-Charles Baritaux, S. Chandra Sekhar, Michael ...
95
Voted
CGI
2003
IEEE
15 years 6 months ago
Modeling lobed leaves
In contrast to the extensively researched modeling of plant architecture, the modeling of plant organs largely remains an open problem. In this paper, we propose a method for mode...
Lars Mündermann, Peter MacMurchy, Juraj Pivov...