Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem.

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

fixed point theorem
von neumann
databases
computer vision
case study
high dimensional
data sets
machine learning
knowledge base
decision trees
cooperative
lower bound
evolutionary algorithm
image registration
markov random field
fixed point