Automatic Sequences and Zip-Specifications.

Clemens Grabmayer Jörg Endrullis Dimitri Hendriks Jan Willem Klop Lawrence S. Moss

Published in: LICS (2012)

Keyphrases

hidden markov models
semi automatic
sequential patterns
formal specification
database
high level
fully automatic
specification language
databases
data driven
compression ratio
data compression
sequence data
sequential data
pseudorandom