Axioms for Behavioural Congruence of Single-Pass Instruction Sequences.

Jan A. Bergstra Cornelis A. Middelburg

Published in: Sci. Ann. Comput. Sci. (2017)

Keyphrases

single pass
stream mining
highly parallel
hidden markov models
sequential patterns
knowledge base
multimedia
first order logic
sequence alignment
socio technical
long sequences