Modeling Meta-logical Features in a Calculus with Frozen Variables.

Published in: Proof Theory in Computer Science (2001)

Keyphrases

low level
co occurrence
machine learning
feature space
similarity measure
training data
feature vectors
classification accuracy
spatial information