Recherche

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

Résultat de l'interrogation de la base

11 documents correspondent à votre requête

Barguno, Luis	Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories [Barguno13a] [1]		2013
Baudart, Guillaume	A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music [Baudart13a] [3]		2013
Bouhoula, Adel	Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems [Bouhoula12a] [1]		2012
Cont, Arshia	CORRECT AUTOMATIC ACCOMPANIMENT DESPITE MACHINE LISTENING OR HUMAN ERRORS IN ANTESCOFO [Cont12d] [3]		2012
Cont, Arshia	From Authored to Produced Time in Computer-Musician Interactions [Cont13c] [3]		2013
Echeveste, José	Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d’accompagnement automatique [Echeveste11c] [3]		2011
Echeveste, José	Operational semantics of a domain specific language for real time musician-computer interaction [Echeveste13a] [1]		2013
Fanchon, Léa	Formal Timing Analysis Of Mixed Music Scores [Fanchon13a] [3]		2013
Filiot, Emmanuel	Tree Automata with Constraints: a brief survey [Filiot13a] [3]		2013
Jacquemard, Florent	Rewrite Closure and CF Hedge Automata [Jacquemard13a] [3]		2013