A compiled implementation of normalisation by evaluation.

Klaus Aehlig Florian Haftmann Tobias Nipkow

Published in: J. Funct. Program. (2012)

Keyphrases

comparative evaluation
high level
efficient implementation
evaluation method
evaluation metrics
gold standard
implementation details
evaluation process
databases
artificial intelligence
case study
objective function
evolutionary algorithm
probabilistic model
evaluation model
implementation issues