{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:13:45Z","timestamp":1725614025314},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642238802"},{"type":"electronic","value":"9783642238819"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23881-9_2","type":"book-chapter","created":{"date-parts":[[2011,9,24]],"date-time":"2011-09-24T04:51:47Z","timestamp":1316839907000},"page":"9-17","source":"Crossref","is-referenced-by-count":2,"title":["A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System"],"prefix":"10.1007","author":[{"given":"Tetsuya","family":"Mizutani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keita","family":"Nishiyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeru","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s00165-007-0035-6","volume":"19","author":"P. Curzon","year":"2007","unstructured":"Curzon, P., Ruksenas, R., Blandford, A.: An Approach to Formal Verification of Human-Computer Interaction. Formal Aspect of Computing\u00a019, 513\u2013550 (2007)","journal-title":"Formal Aspect of Computing"},{"key":"2_CR2","unstructured":"Eto, Y. (ed.): Flute Famous Collections, vol.\u00a031, p. 112. Doremi Music Publishing (1986)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W. Damm","year":"2006","unstructured":"Damm, W., Hungar, H., Olderog, E.-R.: Verification of Cooperating Traffic Agents. International Journal of Control\u00a079, 395\u2013421 (2006)","journal-title":"International Journal of Control"},{"key":"2_CR4","unstructured":"Dannenberg, R.B.: An On-Line Algorithm for Real-Time Accompaniment. In: Proceedings of the 1984 International Computer Music Conference, pp. 193\u2013198 (1985)"},{"key":"2_CR5","first-page":"769","volume-title":"Information Processing","author":"S. Igarashi","year":"1983","unstructured":"Igarashi, S.: The \u03bd-Conversion and an Analytic Semantics. In: Information Processing, vol.\u00a083, pp. 769\u2013774. Elsevier Sci. Publ. B.V., Amsterdam (1983)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1109\/AICI.2009.410","volume-title":"The 2009 International Conference on Artificial Intelligence and Computational Intelligence","author":"Y. Ikeda","year":"2009","unstructured":"Ikeda, Y., Mizutani, T., Shio, M.: Formal System and Semantics of N\u03a3-labeled Calculus. In: The 2009 International Conference on Artificial Intelligence and Computational Intelligence, pp. 270\u2013274. IEEE, Los Alamitos (2009)"},{"key":"2_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/11856290_5","volume-title":"Artificial Intelligence and Symbolic Computation","author":"T. Mizutani","year":"2006","unstructured":"Mizutani, T., Igarashi, S., Ikeda, Y., Shio, M.: Labeled @-Calculus: Formalism for Time-Concerned Human Factors. In: Calmet, J., Ida, T., Wang, D. (eds.) AISC 2006. LNCS (LNAI), vol.\u00a04120, pp. 25\u201339. Springer, Heidelberg (2006)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/s11704-008-0010-2","volume":"2","author":"T. Mizutani","year":"2008","unstructured":"Mizutani, T., Igarashi, S., Shio, M., Ikeda, Y.: Human Factors in Continuous Time-Concerned Cooperative Systems Represented by N\u03a3-labeled Calculus. Frontiers of Computer Science in China\u00a02, 22\u201328 (2008)","journal-title":"Frontiers of Computer Science in China"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Mizutani, T., Suzuki, T., Shio, M., Ikeda, Y.: Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. In: The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, pp. 303\u2013304 (2009)","DOI":"10.1109\/TASE.2009.30"},{"key":"2_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-642-05253-8_52","volume-title":"Artificial Intelligence and Computational Intelligence","author":"T. Mizutani","year":"2009","unstructured":"Mizutani, T., Igarashi, S., Ikeda, Y., Shio, M.: Formal Analysis of an Airplane Accident in N\u03a3-labeled Calculus. In: Deng, H., Wang, L., Wang, F.L., Lei, J. (eds.) AICI 2009. LNCS (LNAI), vol.\u00a05855, pp. 469\u2013478. Springer, Heidelberg (2009)"},{"key":"2_CR11","first-page":"172","volume":"71","author":"T. Mizutani","year":"2009","unstructured":"Mizutani, T., Igarashi, S., Shio, M., Ikeda, Y.: Labeled Calculi Applied to Verification and Analysis of Time-Concerned Programs I. Tensor, N.S.\u00a071, 172\u2013186 (2009)","journal-title":"Tensor, N.S."},{"key":"2_CR12","first-page":"285","volume":"71","author":"T. Mizutani","year":"2009","unstructured":"Mizutani, T., Igarashi, S., Shio, M., Ikeda, Y.: Labeled Calculi Applied Verification and Analysis of Time-Concerned Programs II. Tensor, N.S.\u00a071, 285\u2013296 (2009)","journal-title":"Tensor, N.S."},{"key":"2_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-16530-6_31","volume-title":"Artificial Intelligence and Computational Intelligence","author":"T. Mizutani","year":"2010","unstructured":"Mizutani, T., Igarashi, S., Suzuki, T., Ikeda, Y., Shio, M.: A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance. In: Wang, F.L., Deng, H., Gao, Y., Lei, J. (eds.) AICI 2010. LNCS (LNAI), vol.\u00a06319, pp. 256\u2013265. Springer, Heidelberg (2010)"},{"key":"2_CR14","unstructured":"Raphael, C.: Automated Rhythm Transcription. In: ISMIR 2001: International Symposium on Music Information Retrieval, pp. 99\u2013107 (2001)"},{"key":"2_CR15","unstructured":"Suzuki, T.: Creation and Analysis of Expression on an Ensemble System, Master\u2019s Thesis. Department of Computer Science, Graduate School of Systems and Information Engineering. University of Tsukuba (2009) (in Japanese)"},{"key":"2_CR16","first-page":"237","volume":"48","author":"H. Takeda","year":"2007","unstructured":"Takeda, H., Nishimoto, T., Sagayama, S.: Joint Estimation of Rhythm and Tempo of Polyphonic MIDI Performance Using Tempo Curve and Hidden Markov Models. Journal of Information Processing\u00a048, 237\u2013247 (2007) (in Japanese)","journal-title":"Journal of Information Processing"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23881-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T19:50:17Z","timestamp":1554666617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23881-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642238802","9783642238819"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23881-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}