EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1A. Bietti, F. Bach, A. Cont.

    An online EM algorithm in hidden (semi-)Markov models for audio segmentation and clustering, in: ICASSP 2015 - 40th IEEE International Conference on Acoustics, Speech and Signal Processing, Brisbane, Australia, April 2015.

    https://hal.inria.fr/hal-01115826
  • 2A. Cont.

    A coupled duration-focused architecture for realtime music to score alignment, in: IEEE Transactions on Pattern Analysis and Machine Intelligence, 2010, vol. 32, no 6, pp. 974-987.

    http://articles.ircam.fr/textes/Cont09a/
  • 3A. Cont, S. Dubnov, G. Assayag.

    On the Information Geometry of Audio Streams with Applications to Similarity Computing, in: IEEE Transactions on Audio, Speech and Language Processing, May 2011, vol. 19, no 4.
  • 4A. Cont, J. Echeveste, J.-L. Giavitto, F. Jacquemard.

    Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo, in: ICMC 2012 - International Computer Music Conference, Ljubljana, Slovenia, IRZU - the Institute for Sonic Arts Research, September 2012.

    http://hal.inria.fr/hal-00718854
  • 5A. Dessein, A. Cont, G. Lemaitre.

    Real-time polyphonic music transcription with non-negative matrix factorization and beta-divergence, in: Proceedings of the 11th International Society for Music Information Retrieval Conference (ISMIR), Utrecht, Netherlands, August 2010.
  • 6J. Echeveste, A. Cont, J.-L. Giavitto, F. Jacquemard.

    Operational semantics of a domain specific language for real time musician-computer interaction, in: Discrete Event Dynamic Systems, August 2013, vol. 23, no 4, pp. 343-383. [ DOI : 10.1007/s10626-013-0166-2 ]

    http://hal.inria.fr/hal-00854719
  • 7C. Poncelet, F. Jacquemard.

    Model Based Testing of an Interactive Music System, in: Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Salamanca, Spain, ACM, April 2015. [ DOI : 10.1145/2695664.2695804 ]

    https://hal.archives-ouvertes.fr/hal-01097345
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 9A. Freund, M. Andreatta, J.-L. Giavitto.

    Lattice-based and topological representations of binary relations with an application to music, in: Annals of Mathematics and Artificial Intelligence, April 2015, vol. 73, no 3-4, pp. 311-334. [ DOI : 10.1007/s10472-014-9445-3 ]

    https://hal.archives-ouvertes.fr/hal-01256854

Invited Conferences

  • 10J.-L. Giavitto.

    A topological approach of musical relationships, in: Mathemusical Conversations, Singapour, Singapore, National University of Singapore and Institute for Mathematical Science (Singapore) and Yong Siew Toh Conservatory of Music, February 2015.

    https://hal.archives-ouvertes.fr/hal-01257546

International Conferences with Proceedings

  • 12G. Burloiu, A. Cont.

    Non-overlapping, Time-coherent Visualisation of Action Commands in the AscoGraph Interactive Music User Interface, in: First International Conference on Technologies for Music Notation and Representation, Paris, France, May 2015.

    https://hal.inria.fr/hal-01135727
  • 13G. Burloiu, A. Cont.

    Visualizing Timed, Hierarchical Code Structures in AscoGraph, in: International Conference on Information Visualisation, Barcelona, Spain, University of Barcelona, July 2015.

    https://hal.inria.fr/hal-01155618
  • 14P. Donat-Bouillud, F. Jacquemard, M. Sakai.

    Towards an Equational Theory of Rhythm Notation, in: Music Encoding Conference 2015, Florence, Italy, May 2015.

    https://hal.inria.fr/hal-01105418
  • 15R. Gong, P. Cuvillier, N. Obin, A. Cont.

    Real-Time Audio-to-Score Alignment of Singing Voice Based on Melody and Lyric Information, in: Interspeech, Dresde, Germany, September 2015.

    https://hal.archives-ouvertes.fr/hal-01164550
  • 16F. Jacquemard, P. Donat-Bouillud, J. Bresson.

    A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting, in: Mathematics and Computation in Music: 5th International Conference, MCM 2015, London, United Kingdom, D. M. Tom Collins, A. Volk (editors), Lecture Notes in Artificial Intelligence, Springer, June 2015, vol. 9110, 12 p.

    https://hal.inria.fr/hal-01138642
  • 17F. Jacquemard, Y. Kojima, M. Sakai.

    Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies, in: 25th International Conference on Automated Deduction (CADE’15), Berlin, Germany, A. P. Felty, A. Middeldorp (editors), LNCS, Springer, August 2015.

    https://hal.inria.fr/hal-01149319
  • 18R. Lajugie, P. Bojanowski, P. Cuvillier, S. Arlot, F. Bach.

    A weakly-supervised discriminative model for audio-to-score alignment, in: 41st International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Shanghai, China, March 2016.

    https://hal.archives-ouvertes.fr/hal-01251018
  • 19E. Nakamura, P. Cuvillier, A. Cont, N. Ono, S. Sagayama.

    Autoregressive hidden semi-Markov model of symbolic music performance for score following, in: 16th International Society for Music Information Retrieval Conference (ISMIR), Malaga, Spain, October 2015.

    https://hal.inria.fr/hal-01183820
  • 20J. Pascalie, M. Potier, T. Kowaliw, J.-L. Giavitto, O. Michel, A. Spicher, R. Doursat.

    Spatial Computing in Synthetic Bioware: Creating Bacterial Architectures, in: 13th European Conference on Artificial Life (ECAL'2015), York, United Kingdom, MIT Press, July 2015. [ DOI : 10.7551/978-0-262-33027-5-ch115 ]

    https://hal.archives-ouvertes.fr/hal-01257528
  • 21C. Poncelet, F. Jacquemard.

    Model Based Testing of an Interactive Music System, in: Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Salamanca, Spain, ACM, April 2015. [ DOI : 10.1145/2695664.2695804 ]

    https://hal.archives-ouvertes.fr/hal-01097345

National Conferences with Proceedings

  • 23J. Bresson, D. Bouche, J. Garcia, T. Carpentier, F. Jacquemard, J. MacCallum, D. Schwarz.

    Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur, in: Journées d'Informatique Musicale, Montréal, Canada, 2015.

    https://hal.archives-ouvertes.fr/hal-01142022

Internal Reports

  • 24F. Delaplace, C. Di Giusto, J.-L. Giavitto, H. Klaudel, A. Spicher.

    Activity Networks with Delays application to toxicity analysis, I3S, May 2015.

    https://hal.archives-ouvertes.fr/hal-01152719
  • 25F. Jacquemard, P. Donat-Bouillud, J. Bresson.

    A Term Rewriting Based Structural Theory of Rhythm Notation, ANR-13-JS02-0004-01 - EFFICACe, March 2015, 11 p.

    https://hal.inria.fr/hal-01134096
  • 26F. Jacquemard, L. Segoufin, J. Dimino.

    FO2(<,+1, ) on data trees, data tree automata and an branching vector addition systems, Inria Saclay, January 2015, 32 p.

    https://hal.inria.fr/hal-00769249
  • 27C. Poncelet, F. Jacquemard.

    Compilation of the Intermediate Representation V1, IRCAM ; Inria Paris-Rocquencourt ; Inria, March 2015, no RR-8701.

    https://hal.inria.fr/hal-01132159
  • 28C. Poncelet, F. Jacquemard.

    Offline methods of conformance testing for Antescofo, IRCAM ; Inria Paris-Rocquencourt ; Inria, March 2015, no RR-8700.

    https://hal.inria.fr/hal-01132155

Scientific Popularization

  • 29N. Schmidt Gubbins, A. Cont, J.-L. Giavitto.

    First steps toward embedding real-time audio computing in Antescofo, in: Journal de Investigación de Pregado (Investigación, Interdisciplina, Innovación), 2016, vol. 6.

    https://hal.archives-ouvertes.fr/hal-01257524

Other Publications

References in notes
  • 34G. Assayag, A. Gerzso (editors)

    New Computational Paradigms for Computer Music, Sciences de la musique, Editions Delatour, 6 2009.
  • 35A. Dessein, A. Cont, G. Lemaitre.

    Real-time detection of overlapping sound events with non-negative matrix factorization, in: Matrix Information Geometry, F. Nielsen, R. Bhatia (editors), Springer, 2013, pp. 341-371. [ DOI : 10.1007/978-3-642-30232-9_14 ]

    http://hal.inria.fr/hal-00708805
  • 36G. Di Giugno, J. Kott.

    Système 4X : processeur numérique de signal en temps réel, Ircam, 1981.

    http://articles.ircam.fr/textes/DiGiugno81a/
  • 37A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson, A. Skou.

    Testing real-time systems using UPPAAL, in: Formal methods and testing, Berlin, Heidelberg, R. M. Hierons, J. P. Bowen, M. Harman (editors), Springer-Verlag, 2008, pp. 77–117.

    http://dl.acm.org/citation.cfm?id=1806209.1806212
  • 38M. Krichen, S. Tripakis.

    Black-box conformance testing for real-time systems, in: In 11th International SPIN Workshop on Model Checking of Software (SPIN'04), volume 2989 of LNCS, Springer, 2004, pp. 109–126.
  • 39E. A. Lee.

    Computing Needs Time, in: Communications of the ACM, May 2009, vol. 52, no 5, pp. 70-79.

    http://chess.eecs.berkeley.edu/pubs/615.html
  • 40E. Lindemann, M. Starkier, F. Déchelle.

    The Ircam Musical Workstation : hardware Overview and Signal Processing Features, in: ICMC: International Computer Music Conference, Glasgow, 1990.

    http://articles.ircam.fr/textes/Lindemann90a
  • 41J. McCartney.

    SuperCollider: a new real time synthesis language, in: Proceedings of the International Computer Music Conference, 1996.

    http://www.audiosynth.com/icmc96paper.html
  • 42M. Puckette.

    The Patcher, in: Proceedings of International Computer Music Conference (ICMC), 1988, pp. 420-429.
  • 43M. Puckette.

    Combining Event and Signal Processing in the MAX Graphical Programming Environment, in: Computer Music Journal, 1991, vol. 15, pp. 68–77.
  • 44R. Rowe.

    Interactive music systems: machine listening and composing, MIT Press, Cambridge, MA, USA, 1992.
  • 45E. D. Scheirer.

    Music listening systems, MIT Media Lab, 2000.

    http://web.media.mit.edu/~tristan/Classes/MAS.945/Papers/Technical/Scheirer_Thesis.pdf
  • 46B. Selman, R. A. Brooks, T. Dean, E. Horvitz, T. M. Mitchell, N. J. Nilsson.

    Challenge Problems for Artificial Intelligence (Panel Statements), in: AAAI/IAAI, Vol. 2, 1996, pp. 1340-1345.
  • 47R. Steinmetz.

    Analyzing the multimedia operating system, in: MultiMedia, IEEE, 1995, vol. 2, no 1, pp. 68 -84.

    http://dx.doi.org/10.1109/93.368605
  • 48R. Steinmetz.

    Human perception of jitter and media synchronization, in: Selected Areas in Communications, IEEE Journal on, 1996, vol. 14, no 1, pp. 61–72.
  • 49B. Vercoe.

    The Synthetic Performer in the Context of Live Performance, in: Proceedings of the ICMC, 1984, pp. 199–200.