{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:17:05Z","timestamp":1740719825012,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165290"},{"type":"electronic","value":"9783642165306"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16530-6_31","type":"book-chapter","created":{"date-parts":[[2010,10,26]],"date-time":"2010-10-26T06:39:21Z","timestamp":1288075161000},"page":"256-265","source":"Crossref","is-referenced-by-count":3,"title":["A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance"],"prefix":"10.1007","author":[{"given":"Tetsuya","family":"Mizutani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeru","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatsuo","family":"Suzuki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasuwo","family":"Ikeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masayuki","family":"Shio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_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":"31_CR2","unstructured":"Eto, Y. (ed.): Flute Famous Collections 31, p. 112. Doremi Music Publishing (1986)"},{"key":"31_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":"31_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":"31_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"31_CR6","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y., Vardi, M.Y.: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. Journal of Computer and System Sciences\u00a038, 195\u2013237 (1989)","journal-title":"Journal of Computer and System Sciences"},{"key":"31_CR7","first-page":"769","volume":"83","author":"S. Igarashi","year":"1983","unstructured":"Igarashi, S.: The \u03bd-Conversion and an Analytic Semantics. Information Processing\u00a083, 769\u2013774 (1983)","journal-title":"Information Processing"},{"key":"31_CR8","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, vol.\u00a0III, pp. 270\u2013274. IEEE, Los Alamitos (2009)"},{"key":"31_CR9","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":"31_CR10","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":"31_CR11","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: TASE 2009, The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 303\u2013304 (2009)","DOI":"10.1109\/TASE.2009.30"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Mizutani, T., Igarashi, S., Shio, M., Ikeda., Y.: Analysis of an Airplane Accident in N \u03a3-labeled Calculus. In: TASE 2009, The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 311\u2013312 (2009)","DOI":"10.1109\/TASE.2009.25"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","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., Shio, M., Ikeda, Y.: 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, vol.\u00a05855, pp. 469\u2013478. Springer, Heidelberg (2009)"},{"key":"31_CR14","unstructured":"Mizutani, T., Igarashi, S., Shio, M., Ikeda, Y.: Labeled Calculi Applied to Verification and Analysis of Time-Concerned Programs I, TENSOR, N. S. (to appear)"},{"key":"31_CR15","unstructured":"Mizutani, T., Igarashi, S., Shio, M. and Ikeda, Y.: Labeled Calculi Applied Verification and Analysis of Time-Concerned Programs II, TENSOR, N. S. (to appear)"},{"key":"31_CR16","unstructured":"Raphael, C.: Automated Rhythm Transcription. In: ISMIR 2001: International Symposium on Music Information Retrieval, pp. 99\u2013107 (2001)"},{"key":"31_CR17","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":"31_CR18","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-16530-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T07:04:59Z","timestamp":1740639899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16530-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165290","9783642165306"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16530-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}