Proofs and Reconstructions.
Nik SultanaChristoph BenzmüllerLawrence C. PaulsonPublished in: FroCos (2015)
Keyphrases
- image reconstruction
- high quality
- theorem proving
- surface reconstruction
- structure from motion
- mathematical proofs
- three dimensional
- formal proofs
- theorem prover
- bayesian networks
- database systems
- image processing
- databases
- multi view stereo
- natural deduction
- formal proof
- affine reconstruction
- equational theories
- database