Temporal synchronization in multimedia presentations

Designing high quality multimedia presentations is a tedious and time consuming task, even for skilled authors. This is particularly true when temporal media such as speech and animation are involved. The focus of our research is to determine whether the multimedia presentation is synchronized or amenable to synchronization. We define a formal framework for verifying temporal synchronization of a presentation, which is based on a modified all-pairs shortest path algorithm.