Partituras Interactivas - Planificación Incremental y en Tiempo Real de Flujo Multimedia

Transcript

1. Partituras Interactivas - Planificación Incremental y en Tiempo Real de

   Flujo Multimedia1 Jaime E. Arias Almeida GT Image et Son / SCRIME - LaBRI - Université Bordeaux 1 Grupo de Investigación AVISPA - Pontificia Universidad Javeriana Supervisores: Myriam Desainte-Catherine y Camilo Rueda 1Investigación financiada por la Agencia Nacional de Investigación ANR.

2. Agenda Introducción Proyecto OSSIA Trabajo Jaime E. Arias Almeida Partituras

   Interactivas 1/19 1/19

3. Pero Antes ... Jaime E. Arias Almeida Partituras Interactivas 2/19

   2/19

4. Pero Antes ... Jaime E. Arias Almeida Partituras Interactivas 3/19

   3/19

5. Pero Antes ... Jaime E. Arias Almeida Partituras Interactivas 4/19

   4/19

6. Pero Antes ... Jaime E. Arias Almeida Partituras Interactivas 5/19

   5/19

7. Pero Antes ... Jaime E. Arias Almeida Partituras Interactivas 6/19

   6/19

8. Pero Antes ... Jaime E. Arias Almeida Partituras Interactivas 7/19

   7/19

9. Pero Antes ... Jaime E. Arias Almeida Partituras Interactivas 8/19

   8/19

10. Pero Antes ... El valor de verdad de una fórmula

    lógica no depende únicamente del valor de verdad de sus sub-fórmulas sino del contexto donde esta fórmula aparece (y para las lógicas modales, este contexto es el momento presente)2. 2Extraído de “Du temps écrit au temps produit en informatique musicale” de Jean-Louis Giavitto Jaime E. Arias Almeida Partituras Interactivas 9/19 9/19

11. Agenda Introducción Proyecto OSSIA Trabajo Jaime E. Arias Almeida Partituras

    Interactivas 10/19 10/19

12. Introducción Conceptos3 Partitura Es una guía de cómo interpretar un

    conjunto de piezas o partes (escenario). Multimedia Cualquier objeto o sistema que utiliza múltiples medios de expresión físicos o digitales para presentar o comunicar información (Texto, Gráficos, Imágenes, Animación, Video y Sonido). Multimedia interactiva Se habla de multimedia interactiva cuando el usuario tiene libre control sobre la presentación de los contenidos, acerca de qué es lo que desea ver y cuando. 3http://es.wikipedia.org/wiki/Multimedia Jaime E. Arias Almeida Partituras Interactivas 11/19 11/19

13. Introducción Multimedia Interactiva • La multimedia interactiva se encarga del

    diseño de escenarios donde el contenido multimedia y los eventos interactivos pueden ser manejados por programas de computador. • Generalmente los diseñadores crean contenido multimedia para sus escenarios y luego lo asocian a eventos interactivos externos controlados por Max/MSP o Pure Data (Pd). • Ejemplos conocidos son los museos interactivos y las instalaciones artísticas. Jaime E. Arias Almeida Partituras Interactivas 12/19 12/19

14. Agenda Introducción Proyecto OSSIA Trabajo Jaime E. Arias Almeida Partituras

    Interactivas 13/19 13/19

15. Proyecto OSSIA • Proyecto OSSIA (Open Scenario System for Interactive

    Application). • En cualquier dominio interactivo, la organización de contenido digital de diferente naturaleza es fundamental4. ◦ Restricciones Lógico-temporales. • Dominios: ◦ Industria. ◦ Instalaciones de Museos. ◦ Videojuegos. ◦ Espectáculos en vivo (Industria Cultural). • Actualmente la escritura del comportamiento de contenido digital es compleja y realizada únicamente por expertos. 4Problema de Satisfación de Restricciones (CSP) - Curso de Inteligencia Artificial. Jaime E. Arias Almeida Partituras Interactivas 14/19 14/19

16. Proyecto OSSIA Proyecto OSSIA El objetivo del proyecto es reunir

    y crear el conocimiento necesario para la formalización de restricciones lógico-temporales, con el fin ofrecer a los desarrolladores las herramientas genéricas para la escritura y aplicacion de éstas, en la escritura de escenario complejos de la manera más intuitiva posible. Jaime E. Arias Almeida Partituras Interactivas 15/19 15/19

17. Agenda Introducción Proyecto OSSIA Trabajo Jaime E. Arias Almeida Partituras

    Interactivas 16/19 16/19

18. Trabajo Mi tarea en el proyecto5: • Implementación y validación

    de la representación formal de búcles y condicionales en escenarios complejos. • Desarrollar un formalismo que permita representar tiempo flexible y jerarquía. • Portar lo anterior a un framework C++. 5Curso Bases Formales de la Computación, Programación Concurrente y Distribuida, Matemáticas Discretas para Computación, Lógica en Ciencias de la Computación, Inteligencia Artificial, Análisis y Diseño de Algoritmos, Desarrollo Formal de Software, entre otras. Jaime E. Arias Almeida Partituras Interactivas 17/19 17/19

19. Trabajo • Actualmente explorando6: ◦ Redes de Petri: • Hierarchical

    Time Stream Petri Net, • Coloured Petri Net. ◦ Lenguajes Síncronos. • ReactiveML, • Esterel, • Signal, etc. 6Curso Bases Formales de la Computación. Jaime E. Arias Almeida Partituras Interactivas 18/19 18/19

20. Muchas gracias por su atención Jaime E. Arias Almeida Partituras

    Interactivas 19/19 19/19