• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The recursive polarized dual calculus.

Aaron Stump
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