Proofs of conservation inequalities for Levin's notion of mutual information of 1974.
Nikolai K. VereshchaginPublished in: Theor. Comput. Sci. (2021)
Keyphrases
- mutual information
- information theoretic
- image registration
- medical image registration
- similarity measure
- sufficient conditions
- feature selection
- conditional mutual information
- multi modal image registration
- multimodal image registration
- information gain
- information theoretic measures
- kullback leibler divergence
- formal proof
- decision procedures
- multi modality
- theorem proving
- data sets
- shannon entropy
- selection criterion
- pattern recognition
- decision trees
- formal proofs
- image processing
- mathematical proofs
- information theoretic criterion
- mutual information maximization