Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem.

Geoff W. Hamilton Morten Heine Sørensen

Published in: VPT@CAV (2014)

Keyphrases

higher order
positive and negative
pairwise
low order
natural images
conditional random fields
markov random field
autonomous driving
high order
lambda calculus
real time
digital topology
expert systems
database systems
decision trees
clustering algorithm
decision making
data mining
neural network