Precongruence Formats with Lookahead through Modal Decomposition.

Wan J. Fokkink Rob J. van Glabbeek

Published in: CSL (2017)

Keyphrases

metadata
modal logic
multimedia
decomposition algorithm
database
databases
decomposition method
search engine
machine learning
image processing
expert systems
image decomposition
hierarchical decomposition