Enumeration of sequences of given specification according to rises, falls and maxima.

L. Carlitz Theresa Vaughan

Published in: Discret. Math. (1974)

Keyphrases

hidden markov models
multiscale
search space
user defined
variable length
test sequences
high level
formal methods
biological sequences
knowledge base
scale space
exhaustive search
specification language
reactive systems
long sequences