AVL Trees.

Tobias Nipkow Cornelia Pusch

Published in: Arch. Formal Proofs (2004)

Keyphrases

decision trees
tree structure
multiscale
real world
database
information retrieval
genetic algorithm
learning algorithm
image processing
support vector
lower bound
hidden markov models
tree structures
tree nodes
binary trees