Login / Signup
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.
George A. Constantinides
Fredrik Dahlqvist
Zvonimir Rakamaric
Rocco Salvia
Published in:
CAV (2) (2021)
Keyphrases
</>
error analysis
floating point
fixed point
least squares
error correction
square root
cross ratio
bayesian networks
instruction set
sparse matrices
probabilistic model
general purpose
page segmentation
floating point arithmetic
interval arithmetic
error estimates
cross validation
video sequences