Lazifying case constants.

Published in: Arch. Formal Proofs (2017)

Keyphrases

neural network
knowledge base
search algorithm
digital images
case based reasoning
np hard
special case
multiresolution
image analysis
artificial neural networks
pattern recognition
database
reinforcement learning
bayesian networks
image processing
computer vision
learning algorithm
databases