Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types.

Andreas Abel James Chapman

Published in: MSFP (2014)

Keyphrases

case study
preprocessing
normalization method
data sets
image processing
expert systems
evaluation method
databases
data mining
machine learning
artificial intelligence
metadata
image sequences
probabilistic model
markov chain
gold standard