Login / Signup
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.
Laura Titolo
Mariano M. Moscato
César A. Muñoz
Aaron Dutle
François Bobot
Published in:
FM (2018)
Keyphrases
</>
floating point
learning algorithm
square root
dynamic programming
parallel implementation
memory efficient
fine grained
matching algorithm
fast fourier transform
fixed point
kalman filter
image matching
linear programming
scheduling problem
probabilistic model
np hard
pairwise