Login / Signup
Accurate ICP-based floating-point reasoning.
Karsten Scheibler
Felix Neubauer
Ahmed Mahdi
Martin Fränzle
Tino Teige
Tom Bienmüller
Detlef Fehrer
Bernd Becker
Published in:
FMCAD (2016)
Keyphrases
</>
floating point
fixed point
square root
knowledge base
sparse matrices
fast fourier transform
interval arithmetic
data processing
fine grained
range images
floating point arithmetic
high quality
general purpose
graphical models
instruction set
iterative closest point algorithm