A Framework for the Verification of Certifying Computations

Eyad Alkassar Sascha Böhme Kurt Mehlhorn Christine Rizkallah

Published in: CoRR (2013)

Keyphrases

neural network
main contribution
image processing
probabilistic model
computational framework
computational model
website
real time
information technology
bayesian framework
lightweight
object detection
image retrieval
three dimensional
knowledge base
feature selection
databases
data sets