Canonicalizing High-Level Constructs in Picat.

Neng-Fa Zhou Jonathan Fruhman

Published in: PADL (2017)

Keyphrases

high level
low level
lower level
image processing
programming language
higher level
neural network
information retrieval
artificial intelligence
image segmentation
reinforcement learning
preprocessing
multiresolution
source code
object level