On the Termination Problem for Counter Machines with Incrementing Errors.

Christopher Hampson

Published in: RP (2019)

Keyphrases

error propagation
term rewriting
genetic algorithm
computer vision
e learning
image processing
data structure
digital libraries
support vector machine
least squares
model selection
prediction error
error analysis