Feasible Proofs and Computations: Partnership and Fusion.
Alexander A. RazborovPublished in: ICALP (2004)
Keyphrases
- data fusion
- theorem proving
- information fusion
- government agencies
- information and communication technologies
- image fusion
- theorem prover
- sensor fusion
- fusion algorithm
- fusion methods
- fusion method
- learning community
- multi sensor
- feasible solution
- fusion model
- real time
- natural deduction
- formal proof
- formal proofs
- multiresolution
- learning algorithm
- machine learning
- data sets