Login / Signup
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