DEA "INFORMATIQUE : SYSTEMES & COMMUNICATIONS"
ANNEE 1998/1999
RESPONSABLE : Muriel Jourdan
TEL : 04.76.61.53.58
ADRESSE ELECTRONIQUE : [email protected]
LABORATOIRE ET EQUIPE : Projet Opéra
INRIA Rhône-Alpes
655 avenue de l'Europe, 38330 Montbonnot St Martin
URL: http://opera.inrialpes.fr/OPERA
TITRE : Prise en compte des objets incontrôlables dans les
documents multimédia
RESUME :
Le projet Opéra a pour thème général les
applications de traitement des documents électroniques. Un des axes de
recherche plus précisément abordés concerne la
définition d'un environnement d'édition/présentation de
documents multimédia nommé MADEUS [4]. Cet environnement est
fortement basé sur la théorie des contraintes temporelles. Leur
utilisation s'avère satisfaisante tant que les objets
considérés ont des durées contrôlables :
l'environnement d'édition peut a priori leur fixer une
durée de présentation et garantir celle-ci lors de la
présentation du document. Le texte, les images sont des exemples
d'objets contrôlables. Les vidéos, les objets sonores ne le sont
pas car leur durée dépend du taux de charge de la machine.
L'intégration d'objets incontrôlables dans un problème de satisfaction de contraintes temporelles a fait l'objet des travaux de T. Vidal et H. Fargier [3] qui proposent dans ce cadre une extension de la définition de la cohérence d'un problème et une procédure de décision associée à cette définition. Ces travaux théoriques sur la vérification de la cohérence n'ont pas encore fait l'objet d'expérimentation. De plus, pour pouvoir les utiliser dans le contexte des documents multimédia, il reste encore à définir un algorithme de formatage temporel adaptatif. Le rôle de cet algorithme consiste à s'adapter aux durées réelles des objets incontrôlables, pour satisfaire toutes les contraintes de synchronisation temporelles exprimées par l'auteur.
Par ailleurs, il a été montré au sein du laboratoire Vérimag [1] qu'un sous-ensemble des problèmes de satisfaction de contraintes temporelles ayant des objets incontrôlables pouvait être résolu en appliquant des méthodes de synthèse automatique de contrôleurs. Celles-ci permettent à la fois de déterminer la cohérence d'un problème, mais aussi de s'adapter aux durées réelles des objets lors de la présentation du document. Là encore des expérimentations doivent être effectuées pour mesurer précisément l'intérêt de ces méthodes par rapport à notre contexte applicatif (performance en temps, qualité du diagnostique en cas d'incohérence, ... ). De plus, il faut étudier comment elles peuvent s'intégrer dans l'environnement Madeus.
Enfin, des solutions partielles ont aussi été proposées au sein du projet Opéra [2] et sont en cours d'expérimentation.
L'objectif du projet proposé est de faire une synthèse de ces différents travaux afin de trouver le meilleur compromis à intégrer au sein de l'environnement Madeus. L'étudiant(e) devra envisager des solutions mixtes qui reposent à la fois sur les méthodes de synthèse de contrôleurs et sur les solutions partielles proposées au sein du projet Opéra.
[1] Goesler G. Modélisation et contrôle des systèmes multimédia, rapport de DEA Informatique et Communications, Université Joseph-Fourier, juin 98.
[2] Layaïda N. Sabry-Ismail L. Maintaining Temporal Consistency of Multimedia Documents Using Constraint Networks Multimedia Computing and Networking 1996, M. Freeman, P. Jardetzky, H. M. Vin, ed., pp. 124-135, SPIE 2667 San-José, USA, February 1996
[3] Vidal T and H. Fargier Handling contingency in Temporal Constraint
Networks: from consistency to controllabilities Submitted to a special Track
of the Journal of Experimental and Theoretical Artificial Intelligence (JETAI)
1998
[4] M. jourdan, N. Layaïda, C. Roisin, L. Sabry-Ismail, L. Tardif,
``Madeus, an Authoring Environment for Interactive Multimedia
Documents'', ACM Multimedia'98, , ed., pp. , , , September 1998.
RESULTATS ATTENDUS :
Pratiques (réalisations) :
Expérimentation des outils logiciels développés à Vérimag sur des exemples de documents multimédia
Intégration dans le système Madeus de solutions pour gérer les objets incontrôlables
Théoriques :
Etat de l'art sur la prise en compte des durées incontrôlables dans un problème de satisfaction de contraintes temporelles (incluant les méthodes à base de synthèse de contrôleurs)
Proposition d'une solution pour le contexte des documents
multimédia
Mots-clés:
Documents multimédia, spécification par contraintes, automates
temporisés, synthèse de contrôleurs.