Realizability interpretation of proofs in constructive analysis.

Helmut Schwichtenberg

Published in: Theory Comput. Syst. (2008)

Keyphrases

automatic analysis
case study
high level
wide range
object recognition
artificial neural networks
real time
databases
neural network
artificial intelligence
data streams
preprocessing
evolutionary algorithm
multiresolution