Sign in

Automating Coinduction with Case Analysis.

Eugen-Ioan GoriacDorel LucanuGrigore Rosu
Published in: ICFEM (2010)
Keyphrases
  • high quality
  • image analysis
  • genetic algorithm
  • metadata
  • multimedia
  • three dimensional
  • search algorithm
  • pattern recognition
  • trade off
  • statistical analysis