Analyse Texte et Image pour la caractérisation de l'activité dans les Films d'Animation

Definir une indexation pertinente sur le contenu semantique des films ou videos est un defi actuel. Nous proposons de rechercher et de caracteriser l'activite contenue dans un film a partir d'une analyse conjointe texte et image. L'analyse des images nous donne de nombreux indicateurs, pauvres en semantique, tandis que l'etude des textes courts que sont les synopsis nous donne des indicateurs moins nombreux mais a fort contenu semantique. Nous devons alors verifier la correlation de ces indicateurs issus de media differents pour determiner la nature de l'action. Puis, par la fusion de ces informations, nous cherchons a localiser l'action decrite par le texte dans le film. Notre corpus d'application est une base numerique de films d'animation constituee par la CITIA (Cite de l'Image en Mouvement).

[1]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[2]  David Clark,et al.  UML to B: Formal Verification of Object-Oriented Models , 2004, IFM.

[3]  Michael Butler,et al.  U2B - A tool for translating UML-B models into B , 2004 .

[4]  Amel Mammar,et al.  An overview of a method and its support tool for generating B specifications from UML notations , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[5]  Emil Sekerinski,et al.  Graphical Design of Reactive Systems , 1998, B.

[6]  Kuldeep Kumar,et al.  Informal and Formal Requirements Specification Languages: Bridging the Gap , 1991, IEEE Trans. Software Eng..

[7]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[8]  Colin F. Snook,et al.  UML-B: Formal modeling and design aided by UML , 2006, TSEM.

[9]  Amel Mammar,et al.  UML2SQL : un environnement intégré pour le développement d'implémentations relationnelles à partir de diagrammes UML , 2004 .

[10]  Jeanine Souquières,et al.  ArgoUML+B : un outil de transformation systématique de spécifications UML en B , 2003 .

[11]  Hung Ledang Traduction systématique de spécifications , 2002 .

[12]  Rafael-José Marcano Kamenoff Spécification formelle à objets en UML/OCL et B : une approche transformationnelle , 2002 .

[13]  E. Meyer,et al.  Développements formels par objets : Utilisation conjointe de B et d'UML , 2001 .

[14]  H. P. Nguyen Derivation de specifications formelles b a partir de specifications semi-formelles , 1998 .