Brouwer and Fraenkel on intuitionism.

Published in: Bull. Symb. Log. (2000)

Keyphrases

fixed point theorem
fixed point
computer vision
image analysis
image processing
artificial neural networks
dynamic programming
upper bound
graph cuts
input output
learning algorithm
optimal solution
active contours
high order