Hyper-Ackermannian bounds for pushdown vector addition systems.

Jérôme Leroux M. Praveen Grégoire Sutre

Published in: CSL-LICS (2014)

Keyphrases

intelligent systems
computer systems
data sets
real world
machine learning
information systems
lower bound
artificial neural networks
error bounds
upper and lower bounds
case study
data structure
special case
upper bound
learning systems