Automating Coinduction with Case Analysis.

Eugen-Ioan Goriac Dorel Lucanu Grigore Rosu

Published in: ICFEM (2010)

Keyphrases

high quality
image analysis
genetic algorithm
metadata
multimedia
three dimensional
search algorithm
pattern recognition
trade off
statistical analysis