On Tao's "finitary" infinite pigeonhole principle.

Jaime Gaspar Ulrich Kohlenbach

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

Keyphrases

finite state
machine learning
database
computer vision
three dimensional
medical images
data sets
data mining
reinforcement learning
learning environment
video sequences
search algorithm
control system
special case
logic programs
answer set programming