Automating Algebraic Methods in Isabelle.

Walter Guttmann Georg Struth Tjark Weber

Published in: ICFEM (2011)

Keyphrases

real time
data sets
machine learning
preprocessing
computational cost
empirical studies
machine learning methods
search engine
video sequences
significant improvement
higher order
benchmark datasets
qualitative and quantitative