Proofs of conservation inequalities for Levin's notion of mutual information of 1974.
Nikolay K. VereshchaginPublished in: CoRR (2019)
Keyphrases
- mutual information
- information theoretic
- image registration
- information gain
- medical image registration
- feature selection
- similarity measure
- conditional mutual information
- statistical dependence
- information theoretic measures
- neural network
- sufficient conditions
- theorem proving
- theorem prover
- normalized mutual information
- image processing
- mixed integer linear programs
- facet defining inequalities
- equational theories
- multi modal image registration
- multi modality
- kullback leibler divergence