Login / Signup

Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial).

Simon FosterGeorg StruthTjark 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