Sciweavers

4127 search results - page 232 / 826
» Evaluation methods for topic models
Sort
View
WSC
1998
15 years 7 months ago
Efficiency Improvement by Lattice Rules for Pricing Asian Options
This paper compares Monte Carlo methods, lattice rules, and other low-discrepancy point sets on the problem of evaluating asian options. The combination of these methods with vari...
Christiane Lemieux, Pierre L'Ecuyer
SAT
2005
Springer
123views Hardware» more  SAT 2005»
15 years 11 months ago
Bounded Model Checking with QBF
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
Nachum Dershowitz, Ziyad Hanna, Jacob Katz
ATAL
2010
Springer
15 years 6 months ago
Combining statistics and arguments to compute trust
We propose a method for constructing Dempster-Shafer belief functions modeling the trust of a given agent (the evaluator) in another (the target) by combining statistical informat...
Paul-Amaury Matt, Maxime Morge, Francesca Toni
BIOINFORMATICS
2000
149views more  BIOINFORMATICS 2000»
15 years 5 months ago
MaxSub: an automated measure for the assessment of protein structure prediction quality
Motivation: Evaluating the accuracy of predicted models is critical for assessing structure prediction methods. Because this problem is not trivial, a large number of different as...
Naomi Siew, Arne Elofsson, Leszek Rychlewski, Dani...
ICIP
2003
IEEE
16 years 7 months ago
Improving phase-unwrapping result of InSAR images by incorporating the fractal model
This paper presents a novel method to reduce the phaseunwrapping (PU) distortion by being based on twodimensional fractional Brownian motion (fBm) theory. The method incorporates ...
Andriyan Bayu Suksmono, Akira Hirose