Login / Signup
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.
Robert Glück
Michael Leuschel
Published in:
Ershov Memorial Conference (1999)
Keyphrases
</>
inverse problems
partial deduction
image reconstruction
global optimization
logic programs
convex optimization
optimization methods
optimization problems
emission tomography
partial differential equations
smoothness constraint
early vision
image processing
particle swarm optimization