4983 search results - page 198 / 997 » order 2008 |
140
click to vote
WSC
2008
15 years 6 months ago
2008
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...
129
click to vote
ACL
2008
15 years 5 months ago
2008
Large-scale discriminative machine translation promises to further the state-of-the-art, but has failed to deliver convincing gains over current heuristic frequency count systems....
134
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper analyzes the Fourier model reduction (FMR) method from a rational Krylov projection framework and shows how the FMR reduced model, which has guaranteed stability and a ...
148
click to vote
DMS
2008
15 years 5 months ago
2008
Location-Based Services (LBS) are more and more commonly accessed through PDA or smart phones. As portals deriving of services delivered by a unique provider are easy to define, t...
166
click to vote
JAR
2008
15 years 4 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...