Login / Signup
Verified Real Number Calculations: A Library for Interval Arithmetic.
Marc Daumas
David R. Lester
César A. Muñoz
Published in:
IEEE Trans. Computers (2009)
Keyphrases
</>
computational complexity
dynamic programming
markov random field