Recherche

Recherche simple

Recherche avancée

Panier électronique

Votre panier ne contient aucune notice

Connexion à la base

Identification

(Identifiez-vous pour accéder aux fonctions de mise à jour. Utilisez votre login-password de courrier électronique)

Entrepôt OAI-PMH

Soumettre une requête

	Consulter la notice détaillée
	Version complète en ligne
	Version complète en ligne accessible uniquement depuis l'Ircam
	Ajouter la notice au panier
	Retirer la notice du panier

English version

(full translation not yet available)

Liste complète des articles

Consultation des notices

Vue détaillée

Vue Refer

Vue Labintel

Vue BibTeX

%0 Conference Proceedings
%A Giavitto, Jean-Louis
%A Echeveste, José
%T Real-Time Matching of Antescofo Temporal Patterns
%D 2014
%B 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
%C Canterbury
%F Giavitto14b
%K timed regular expressions
%K event-driven programming
%K score following
%K timed and reactive system
%K domain specific lan- guage
%K computer music
%K Antescofo.
%X This paper presents Antescofo temporal patterns (ATP) and their online matching. Antescofo is a real-time system for performance coordination between musicians and computer processes during live music performance. ATP are used to define complex events that correspond to a combination of perceived events in the musical environment as well as arbitrary logical and metrical temporal conditions. The real time recognition of such event is used to trigger arbitrary actions in the style of event-condition-action rules. The musical context, the rationales of temporal patterns and several illustrative examples are introduced to motivate the design of ATP. The semantics of ATP matching is defined to parallel the well- known notion of regular expression and Brzozowski’s derivatives but extended to handle an infinite alphabet, arbitrary predicates, elapsing time and inhibitory conditions. This approach is compared to those developed in log auditing and for the runtime verification of real-time logics. ATP are implemented by translation into a core subset of the Antescofo domain specific language. This compilation has proven efficient enough to avoid the extension of the real-time runtime of the language and has been validated with composers in actual pieces.
%1 6
%2 2
%U http://architexte.ircam.fr/textes/Giavitto14b/