Reachability for Two-Counter Machines with One Test and One Reset.

Alain Finkel Jérôme Leroux Grégoire Sutre

Published in: FSTTCS (2018)

Keyphrases

data sets
multimedia
state space
image processing
case study
multiscale
support vector
search algorithm
training set
statistically significant
test data
statistical significance