Login / Signup
The Simple Type Theory of Normalization by Evaluation.
René Vestergaard
Published in:
Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
</>
neural network
evaluation method
theoretical framework
highly reliable
general theory
computational models
computational model
preprocessing
multiresolution
computer science
high level
clustering algorithm
information retrieval
evaluation criteria
evaluation methods
xml retrieval
real world
database