Exhaustible sets in higher-type computation

Martín Hötzel Escardó

Published in: CoRR (2008)

Keyphrases

data sets
machine learning
real time
image sequences
search algorithm
higher quality
efficient computation