Coinductive Predicates and Final Sequences in a Fibration.

Ichiro Hasuo Kenta Cho Toshiki Kataoka Bart Jacobs

Published in: MFPS (2013)

Keyphrases

hidden markov models
databases
artificial intelligence
sequential patterns
long sequences
multi agent
genetic algorithm
information systems
image processing
website
database systems
natural language processing