Towards nominal computation.

Mikolaj Bojanczyk Laurent Braud Bartek Klin Slawomir Lasota

Published in: POPL (2012)

Keyphrases

high level
feature space
machine learning
artificial intelligence
image processing
decision trees
three dimensional
objective function
efficient computation