Login / Signup

Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.

Wan J. FokkinkRob J. van GlabbeekPaulien de Wind
Published in: FMCO (2005)
Keyphrases
  • decomposition method
  • branch and bound
  • digital libraries
  • wavelet packet
  • socio technical
  • decomposition methods
  • database
  • bayesian networks
  • objective function
  • multimedia data