Completeness theorem.

James Margetson Tom Ridge

Published in: Arch. Formal Proofs (2004)

Keyphrases

databases
image processing
probabilistic model
data quality
von neumann
database
genetic algorithm
artificial intelligence
search engine
computer vision
multimedia
multiscale
sufficient conditions
formal proofs