Proof Mining with Dependent Types.

Ekaterina Komendantskaya Jónathan Heras

Published in: CoRR (2017)

Keyphrases

data mining methods
text mining
sequential patterns
data mining
mining algorithm
association rule mining
itemsets
knowledge discovery
case study
relational databases
multiscale
e learning
web mining
computer vision
learning algorithm
real time
data mining applications
sequential pattern mining
event sequences