Strictly Primitive Recursive Realizability, I.

Zlatan Damnjanovic

Published in: J. Symb. Log. (1994)

Keyphrases

high level
search engine
support vector
reduced order
iterative refinement
higher level
upper bound
special case
evolutionary algorithm
user interface
preprocessing
databases
video sequences
three dimensional
image processing
machine learning
neural network