A Compiled Implementation of Normalization by Evaluation.

Klaus Aehlig Florian Haftmann Tobias Nipkow

Published in: TPHOLs (2008)

Keyphrases

image processing
database systems
evaluation criteria
implementation issues
real time
website
bayesian networks
mobile robot
management system
general purpose