Left-linear Bounded TRSs are Inverse Recognizability Preserving.

Irène Durand Marc Sylvestre

Published in: RTA (2011)

Keyphrases

real time
computer vision
special case
linear complexity
databases
machine learning
bayesian networks
linear model