Using Abstraction to Automate Program Improvement by Transformation.

Published in: AAAI (1991)

Keyphrases

high level
real time
learning algorithm
three dimensional
static analysis
significant improvement
real world
machine learning
information retrieval
image sequences
computer programs
program execution
decision theoretic planning