Time-complexity semantics for feasible affine recursions (extended abstract)

Norman Danner James S. Royer

Published in: CoRR (2007)

Keyphrases

extended abstract
bayesian networks
computational complexity
worst case
formal semantics
image registration
affine invariant
space complexity
operational semantics