HORPO with Computability Closure: A Reconstruction.

Frédéric Blanqui Jean-Pierre Jouannaud Albert Rubio

Published in: LPAR (2007)

Keyphrases

reconstruction error
image reconstruction
three dimensional
genetic algorithm
case study
compressed sensing
real time
databases
knowledge base
objective function
high resolution
discrete tomography
lambda calculus