Polar: A Framework for Proof Refactoring.

Dominik Dietrich Iain Whiteside David Aspinall

Published in: LPAR (2013)

Keyphrases

real time
image processing
main contribution
theoretical framework
conceptual framework
rotation invariant
decision trees
case study
multi agent systems
feature vectors
key features
logical framework