A Concrete Representation of Observational Equivalence for PCF

Martin Churchill James Laird Guy McCusker

Published in: CoRR (2010)

Keyphrases

representation scheme
image representation
representation language
image processing
reinforcement learning
pattern recognition
hidden markov models
support vector machine svm
classification method