HORPO with Computability Closure : A Reconstruction

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

Published in: CoRR (2007)

Keyphrases

image reconstruction
high resolution
three dimensional
shape recovery
compressed sensing
discrete tomography
databases
reconstruction method
lambda calculus
neural network
case study
search algorithm
relational databases
image compression
point correspondences
tomographic reconstruction