Certified mathematical hierarchies: the FoCal system.

Virgile Prevosto

Published in: Mathematics, Algorithms, Proofs (2005)

Keyphrases

mathematical models
mathematical expressions
cooperative
multiresolution
mathematical knowledge
database
real world
computer vision
case study
database systems
feature extraction
object recognition
mathematical concepts