Bottom-Up Earley Deduction

Published in: CoRR (1995)

Keyphrases

inference rules
theorem proving
data driven
automated deduction
computer algebra
neural network
artificial intelligence
case study
hidden markov models
multiresolution
automated theorem proving
visual saliency
real time
preprocessing
search algorithm
computer vision
information retrieval
data sets