Canonical Regular Types.

Ethan K. Jackson Nikolaj Bjørner Wolfram Schulte

Published in: ICLP (Technical Communications) (2011)

Keyphrases

training data
pattern recognition
computer vision
multiscale
reinforcement learning
multiresolution
co occurrence