Sciweavers

1434 search results - page 130 / 287
» Stochastic computation
Sort
View
VMCAI
2005
Springer
15 years 3 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
CORR
2007
Springer
169views Education» more  CORR 2007»
14 years 10 months ago
Algorithmic Complexity Bounds on Future Prediction Errors
We bound the future loss when predicting any (computably) stochastic sequence online. Solomonoff finitely bounded the total deviation of his universal predictor M from the true d...
Alexey V. Chernov, Marcus Hutter, Jürgen Schm...
ASC
2004
14 years 10 months ago
Solving nonconvex climate control problems: pitfalls and algorithm performances
Global optimization can be used as the main component for reliable decision support systems. In this contribution, we explore numerical solution techniques for nonconvex and nondi...
Carmen G. Moles, Julio R. Banga, Klaus Keller
SADM
2010
173views more  SADM 2010»
14 years 4 months ago
Data reduction in classification: A simulated annealing based projection method
This paper is concerned with classifying high dimensional data into one of two categories. In various settings, such as when dealing with fMRI and microarray data, the number of v...
Tian Siva Tian, Rand R. Wilcox, Gareth M. James
COORDINATION
2008
Springer
14 years 11 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone