Analysis of Busy Beaver Machines via Induction Proofs.

Published in: CATS (2007)

Keyphrases

quantitative analysis
machine learning
information retrieval
statistical analysis
database
databases
neural network
image processing
digital libraries
lower bound