From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Synthesis and Transformation of Logic Programs in the Whelk Proof Development System.. JICSLP, стр. 351-365. MIT Press, (1992)How Many Beans Make Five? The Consensus Problem in Music-Genre Classification and a New Evaluation Method for Single-Genre Categorisation Systems., , и . ISMIR, стр. 73-76. Austrian Computer Society, (2007)Meta-Evaluating Quantitative Internal Evaluation: A Practical Approach for Developers., , , , и . ICCC, стр. 213-217. Association for Computational Creativity (ACC), (2021)ATEPP: A Dataset of Automatically Transcribed Expressive Piano Performance., , , , , и . ISMIR, стр. 446-453. (2022)Visualisation of live code., , , и . EVA, BCS, (2010)Representing Trees with Constraints., , и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 315-325. Springer, (2000)Mollusc: A General Proof-Development Shell for Sequent-Based Logics., , , и . CADE, том 814 из Lecture Notes in Computer Science, стр. 826-830. Springer, (1994)Methodological Considerations in Studies of Musical Similarity., , и . ISMIR, стр. 473-478. Austrian Computer Society, (2007)Formalizing Invariances for Content-based Music Retrieval., и . ISMIR, стр. 591-596. International Society for Music Information Retrieval, (2009)Music Representation - Between the Musician and the Computer., , и . Music Education: An Artificial Intelligence Approach, стр. 108-119. Springer, (1993)