Normalization by Evaluation for Martin-Löf Type Theory with One Universe.
Andreas AbelKlaus AehligPeter DybjerPublished in: MFPS (2007)
Keyphrases
- evaluation method
- evaluation process
- multiple types
- evaluation measures
- computational model
- theoretical framework
- normalization method
- machine learning
- general theory
- xml retrieval
- theoretical basis
- evaluation criteria
- artificial neural networks
- information technology
- preprocessing
- support vector
- data structure
- decision trees
- clustering algorithm
- website
- image processing