Three Dream Applications of Verifiable Computational Results.

Matan Gavish David L. Donoho

Published in: Comput. Sci. Eng. (2012)

Keyphrases

sufficient conditions
real world
decision making
computational power
e learning
decision trees
multi agent
search algorithm
digital libraries
control system