• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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