Login / Signup
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial).
Simon Foster
Georg Struth
Tjark Weber
Published in:
RAMiCS (2011)
Keyphrases
</>
benchmark datasets
computational cost
databases
empirical studies
qualitative and quantitative
data sets
knowledge base
preprocessing
relational databases
data mining techniques
machine learning methods