Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work).

Christophe Raffalli Frédéric Ruyer

Published in: Fundam. Informaticae (2008)

Keyphrases

pattern recognition
image analysis
database
neural network
real world
computer vision
support vector
computational complexity
multiresolution
special case
statistical analysis
theorem proving