Modeling Multimedia Displays Using Action Based Temporal Logic

Graciela Gonzalez, Chitta Baral, Peter A. Cooper. Modeling Multimedia Displays Using Action Based Temporal Logic. In Xiaofang Zhou, Pearl Pu, editors, Visual and Multimedia Information Management, IFIP TC2/WG2.6 Sixth Working Conference on Visual Database Systems, May 29-31, 2002, Bisbane, Australia. Volume 216 of IFIP Conference Proceedings, pages 141-155, Kluwer, 2002.

Abstract

Abstract is missing.