CycleQ: An Efficient Basis for Cyclic Equational Reasoning.

Eddie Jones C.-H. Luke Ong Steven J. Ramsay

Published in: CoRR (2021)

Keyphrases

real time
objective function
wide range
pattern recognition
computationally efficient
learning algorithm
image processing
viewpoint
mobile devices
hidden markov models