Certified Kruskal's Tree Theorem.

Christian Sternagel

Published in: J. Formaliz. Reason. (2014)

Keyphrases

decision trees
tree construction
regression trees
minimum spanning tree
tree structure
machine learning
case study
training data
b tree
index structure
special case
tree models
multiresolution
database
spanning tree
tree structures
multiscale
information retrieval
data mining