Login / Signup

Verifying Balanced Trees.

Zohar MannaHenny B. SipmaTing Zhang
Published in: LFCS (2007)
Keyphrases
  • decision trees
  • model checking
  • three dimensional
  • tree structures
  • tree construction
  • tree structure
  • machine learning
  • database
  • genetic algorithm
  • learning algorithm
  • artificial intelligence
  • social networks