Checking approximate computations over the reals.

Sigal Ar Manuel Blum Bruno Codenotti Peter Gemmell

Published in: STOC (1993)

Keyphrases

efficient computation
database
database systems
real time
multiscale
search algorithm
np hard
fixed point
constraint databases