On Horn Axiomatizations for Sequential Data.

José L. Balcázar Gemma Casas-Garriga

Published in: ICDT (2005)

Keyphrases

sequential data
hidden markov models
fixed length
np hard
sequential patterns
decision procedures
sequential pattern mining
sequence data
spatio temporal
pattern mining
change point detection
variable length
pattern discovery
multiscale
search engine
machine learning
data sets