Login / Signup

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method.

Fatma Zohra MekahliaAbdelghani GhomariSamy YazidDjamel Djenouri
Published in: J. Integr. Des. Process. Sci. (2016)
Keyphrases
  • spatial coherence
  • pairwise
  • similarity measure
  • image classification
  • spatial and temporal
  • temporal coherence