The recursive polarized dual calculus.

Published in: PLPV (2014)

Keyphrases

spatially varying
artificial intelligence
primal dual
computer vision
recursive algorithm
recursive functions
database
image processing
special case
automated deduction
provably correct