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 |
Aucun document lié à cet événement.RetourRetour à l'index