Algorithms for the boundedness problem for Minsky counter machines.

E. V. Kuzmin D. Ju. Chalyy

Published in: Autom. Control. Comput. Sci. (2010)

Keyphrases

learning algorithm
theoretical analysis
orders of magnitude
computational efficiency
data sets
real world
decision trees
database systems
data structure
computational cost
optimization problems
computationally efficient
data mining algorithms
efficient implementation