Login / Signup

Proof Analysis by Resolution.

Matthias Baaz
Published in: TABLEAUX (2002)
Keyphrases
  • databases
  • information systems
  • trade off
  • real world
  • search engine
  • computer vision
  • high quality
  • search algorithm
  • pattern recognition
  • artificial neural networks
  • image analysis
  • multiresolution
  • special case