Equality of Corecursive Streams Defined by Finitary Equational Systems.

Davide Ancona Pietro Barbieri Elena Zucca

Published in: ICTCS (2022)

Keyphrases

distributed systems
real time
multimedia
knowledge based systems
expert systems
finite state machines
computing systems
retrieval systems
computer systems
management system
hidden markov models
video sequences
learning environment
reinforcement learning
bayesian networks
artificial intelligence
neural network