Checking equivalence of corecursive streams: An inductive procedure.

Davide Ancona Pietro Barbieri Elena Zucca

Published in: Theor. Comput. Sci. (2024)

Keyphrases

real time
data streams
inductive learning
sliding window
search procedure
machine learning
search algorithm
multi stream
database
data mining
decision making
image sequences
concept learning