An Abstract Model of Certificate Translation.

Gilles Barthe César Kunz

Published in: ACM Trans. Program. Lang. Syst. (2011)

Keyphrases

high level
computational model
probabilistic model
formal model
prior knowledge
cost function
data sets
search engine
feature selection
e learning
case study
parameter estimation
mathematical model
statistical model
conceptual model
simulation model