A Framework for the Verification of Certifying Computations.

Eyad Alkassar Sascha Böhme Kurt Mehlhorn Christine Rizkallah

Published in: J. Autom. Reason. (2014)

Keyphrases

main contribution
conceptual framework
lightweight
framework enables
key features
three dimensional
high level
theoretical framework
digital libraries
data model
computational model
motion estimation
real time
search algorithm
multi agent
image processing
genetic algorithm
machine learning