A Machine-Checked Formalization of the Generic Model and the Random Oracle Model.

Gilles Barthe Jan Cederquist Sabrina Tarento

Published in: IJCAR (2004)

Keyphrases

generic model
formal model
computational model
high level
probabilistic model
prediction model
statistical model
probability distribution
cost function
object recognition
three dimensional
machine learning
data analysis
graph cuts
mathematical model
video sequences
objective function
feature selection