Hankel Matrices for Weighted Visibly Pushdown Automata.

Nadia Labai Johann A. Makowsky

Published in: CoRR (2015)

Keyphrases

model checking
finite state
cellular automata
singular value decomposition
weighted sum
finite automata
weighted distance
data sets
machine learning
feature selection
decision trees
state space
order statistics
finite state automata