Reconstruction of SMT Proofs with Lambdapi.
Alessio ColtellacciStephan MerzGilles DowekPublished in: SMT@CAV (2024)
Keyphrases
- image reconstruction
- three dimensional
- high resolution
- shape recovery
- statistical machine translation
- reconstructed image
- reconstruction process
- reconstruction method
- database
- logic programs
- compressed sensing
- surface model
- single image
- multiresolution
- multiscale
- image segmentation
- case study
- search engine
- artificial intelligence
- data sets