http://repmus.ircam.fr/ 2026-06-09T13:33:43+02:00 http://repmus.ircam.fr/ http://repmus.ircam.fr/ttp://repmus.ircam.fr/lib/tpl/repmus/images/favicon.ico text/html 2013-05-22T08:12:12+02:00 http://repmus.ircam.fr/jacquemard/phd-verif-ims?rev=1369203132&do=diff We are seeking a good candidate for a PhD starting in September 2013 at Ircam in the Musical Representations team and the INRIA team Mutant, Title: Formal methods for the static analysis of realtime interactive music systems Research context: This PhD project will be hosted in a joint project-team between INRIA (Paris-Rocquencourt research unit), Ircam (Musical Representations Group) and CNRS, as part of the STMS Mixed Research Unit (UMR 9912) between Ircam, CNRS and University Pierre & Marie … text/html 2012-01-17T10:55:54+02:00 http://repmus.ircam.fr/jacquemard/publications-florent.bib?rev=1326794154&do=diff hal-00643136, version 1 <http://hal.inria.fr/hal-00643136> @article{BOUHOULA:2011:HAL-00643136:1, hal_id = {hal-00643136}, url = {http://hal.inria.fr/hal-00643136}, title = {{Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems}}, author = {Bouhoula, Adel and Jacquemard, Florent}, abstract = {{We present a procedure for checking sufficient completeness of conditional and constrained term rewriting systems containing axioms for constructors which … text/html 2017-02-21T18:31:30+02:00 http://repmus.ircam.fr/jacquemard/publications?rev=1487698290&do=diff * Interactive Music Transcription based on Rhythm Tree Languages. Florent Jacquemard and Adrien Ycart. 16th Rhythm Production and Perception Workshop (RPPW 2017), Birmingham, United Kingdom. bibTeX | abstract We consider symbolic rhythm transcription, also called quantization: the problem of the conversion of a sequence of timestamped notes, e.g. a MIDI file, into conventional Western music notation. The fitness of a notation to a given a MIDI input is an intrinsically ambiguous notion, as it … text/html 2012-01-16T17:47:09+02:00 http://repmus.ircam.fr/jacquemard/start?rev=1326732429&do=diff