Login / Signup
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence.
Wan J. Fokkink
Rob van Glabbeek
Bas Luttik
Published in:
CoRR (2019)
Keyphrases
</>
modal logic
decomposition method
decomposition algorithm
machine learning
data sets
similarity measure
multiresolution
socio technical
image decomposition
modal operators
mathematical formulas
database
databases
image registration
mutual information
hierarchical decomposition