Towards Algorithmic Cut-Introduction.

Stefan Hetzl Alexander Leitsch Daniel Weller

Published in: LPAR (2012)

Keyphrases

image sequences
database
neural network
machine learning
learning algorithm
metadata
multi agent
special case
scheduling problem