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.
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
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
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
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
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
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
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