Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Towards a Computational Modeling of an Heterogeneous System for Interactive Musical Scores
du groupe Modélisation et Verification

Date 2010-02-11  11:30-12:45
TitreTowards 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. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurMauricio Toro 
Emailmauriciotorob@gmail.com 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index