Symbolic Localization Reduction with Reconstruction Layering and Backtracking.
Sharon BarnerDaniel GeistAnna GringauzePublished in: CAV (2002)
Keyphrases
- three dimensional
- image reconstruction
- constraint satisfaction
- reconstructed image
- tomographic reconstruction
- reduction method
- compressed sensing
- dependency directed backtracking
- database
- discrete tomography
- localization algorithm
- reconstruction method
- symbolic representation
- high resolution
- search algorithm
- case study
- data sets
- constraint satisfaction problems
- constraint propagation
- state space
- compressive sensing
- multiscale
- high level
- computer vision
- localization error