Reasoning About Transfinite Sequences.

Stéphane Demri David Nowak

Published in: ATVA (2005)

Keyphrases

hidden markov models
artificial intelligence
data structure
variable length
case study
formal theory
long sequences
machine learning
spatio temporal
sequence alignment
qualitative reasoning
multiple sequence alignment
test sequences
genomic sequences