Coinductive predicates and final sequences in a fibration.

Ichiro Hasuo Toshiki Kataoka Kenta Cho

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

hidden markov models
user defined
test sequences
long sequences
database
learning algorithm
real time
information retrieval
artificial intelligence
case study
image sequences
event sequences