Normalization by Evaluation.

Klaus Aehlig Tobias Nipkow

Published in: Arch. Formal Proofs (2008)

Keyphrases

evaluation methods
information systems
feature selection
real time
databases
neural network
real world
video sequences
search algorithm
special case
information retrieval systems
evaluation metrics