|
Evènement pour le groupe Modélisation et Verification
Date | 2010-02-11 11:30-12:45 |
Titre | Towards a Computational Modeling of an Heterogeneous System for Interactive Musical Scores |
Résumé | Interactive scores (IS) are a formalism for composition and performance of musical pieces composed by temporal objects, temporal structures and discrete interactive events. IS may be used for the composition and performance of Electroacoustic music; to control image, video, audio and lights on live spectacles and interactive museums; and to help handicapped and begginer musicians to perform a difficult piece. Currently, there is not an IS model that allows temporal constraints, logical branching, global constraints, and audio/video streams simultaneusly. We propose using the FAUST system to process audio/video streams and the Non-deterministic Timed Concurrent Constraint (ntcc) calculus to cope with the other phenomena. We plan to develop a model for IS, where ntcc and FAUST interact, and to use model checking techniques to verify it*.
*This is one of the objectives to accomplish in my doctorate, which I started on october 2009. |
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Mauricio Toro |
Email | mauriciotorob@gmail.com |
Url | LaBRI |
Aucun document lié à cet événement. RetourRetour à l'index
| |