A Machine-Oriented Logic Based on the Resolution Principle.

John Alan Robinson

Published in: J. ACM (1965)

Keyphrases

high resolution
low resolution
batch processing
machine learning
digital libraries
consequence finding
search engine
feature selection
image segmentation
high quality
multiscale
user interface
scheduling problem
flowshop