On the Final Coalgebra of Automatic Sequences.

Clemens Kupke Jan J. M. M. Rutten

Published in: Logic and Program Semantics (2012)

Keyphrases

hidden markov models
data sets
web services
decision trees
mobile robot
semi automatic
real time
machine learning
information systems
decision making
special case
data driven
sequential patterns
sequence alignment
sequence matching
long sequences