Proving termination of nonlinear command sequences.

Domagoj Babic Byron Cook Alan J. Hu Zvonimir Rakamaric

Published in: Formal Aspects Comput. (2013)

Keyphrases

term rewrite systems
hidden markov models
long sequences
computer vision
pseudorandom
test sequences
sequence analysis
genetic algorithm
data structure
pairwise
nonlinear functions
kernel pca
highly nonlinear
rewrite systems