Width versus size in resolution proofs.

Alasdair Urquhart

Published in: Theor. Comput. Sci. (2007)

Keyphrases

high resolution
neural network
learning algorithm
lower bound
sliding window
standard deviation
database
real world
information retrieval
website
high quality
probabilistic model
memory requirements
fixed size
image resolution
decision procedures