A new foundation for finitary corecursion and iterative algebras.

Stefan Milius Dirk Pattinson Thorsten Wißmann

Published in: Inf. Comput. (2020)

Keyphrases

finite state
spatial reasoning
neural network
data driven
temporal reasoning
data sets
data mining
machine learning
face recognition
objective function
mobile robot
iterative methods