✦ LIBER ✦

Checking the temporal integrity of interactive multimedia documents

✍ Scribed by I. Mirbel; B. Pernici; T. Sellis; S. Tserkezoglou; M. Vazirgiannis

Publisher: Springer-Verlag
Year: 2000
Tongue: English
Weight: 263 KB
Volume: 9
Category: Article
ISSN: 1066-8888
DOI: 10.1007/pl00010674

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Checking Content Consistency of Integrat

Checking Content Consistency of Integrated Web Documents

✍ Franz Weitl; Burkhard Freitag 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 513 KB

Interactive authoring of multimedia docu

Interactive authoring of multimedia documents in a constraint-based authoring system

✍ Junehwa Song; G. Ramalingam; Raymond Miller; Byoung-Kee Yi 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 243 KB

Model-checking the preservation of tempo

Model-checking the preservation of temporal properties upon feature integration

✍ Dimitar P. Guelev; Mark D. Ryan; Pierre Yves Schobbens 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 224 KB

The documentations and checking of compu

The documentations and checking of computer-aided computations

✍ MV Jones 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 251 KB

Supporting learning with interactive mul

Supporting learning with interactive multimedia through active integration of representations

✍ Daniel Bodemer; Rolf Ploetzner; Katrin Bruchmüller; Sonja Häcker 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 440 KB

On the Role of OpenMath in Interactive M

On the Role of OpenMath in Interactive Mathematical Documents

✍ O. Caprotti; A.M. Cohen 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 435 KB

The standard OpenMath is an enabling technology for creating an integrated computer environment in which software packages for computer algebra and for proof checking can be combined. Here we demonstrate how OpenMath can be employed for generating interactive mathematical documents containing primal