Multimedia data modeling based on temporal logic and \(XYZ\) system

DOI10.1007/BF02946527zbMath0920.68040OpenAlexW2040725135MaRDI QIDQ1288442

Huadong Ma, Shen-Quan Liu

Publication date: 13 September 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946527

zbMATH Keywords

multimedia data modelXYZ System

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computing methodologies and applications (68U99) Data structures (68P05)

Related Items (1)

Specification and verification of multimedia synchronization in duration calculus

Cites Work

• Unnamed Item

This page was built for publication: Multimedia data modeling based on temporal logic and \(XYZ\) system