Abstracting abstract machines.

David Van Horn Matthew Might

Published in: ICFP (2010)

Keyphrases

real time
higher level
low level
information systems
high level
pattern recognition
lower bound
knowledge level
learning machines
machine intelligence
parallel machines
case based reasoning
expert systems
computational complexity
learning environment
data structure
decision trees
databases