Shortcut fusion rules for the derivation of circular and higher-order monadic programs.
Alberto PardoJoão Paulo FernandesJoão SaraivaPublished in: PEPM (2009)
Keyphrases
- higher order
- fusion rules
- fusion method
- low frequency
- fusion methods
- image fusion
- pairwise
- discrete wavelet transform
- natural images
- original images
- deductive databases
- datalog programs
- fixpoint
- markov random field
- high frequency
- conditional random fields
- frequency domain
- wavelet transform
- source images
- feature extraction