Aggregates for CHR through Program Transformation.

Peter Van Weert Jon Sneyers Bart Demoen

Published in: LOPSTR (2007)

Keyphrases

constraint handling rules
computer programs
data streams
computer vision
case study
spatio temporal
program execution
neural network
real world
learning algorithm
artificial intelligence
metadata
static analysis