Title :
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal
Author :
Mizutani, Tetsuya ; Suzuki, Tatsuo ; Shio, Masayuki ; Ikeda, Yasuwo
Author_Institution :
Dept. of Comput. Sci., Univ. of Tsukuba, Tsukuba, Japan
Abstract :
Logical representation of an expressive human-computer ensemble system by NSigma-labeled calculus together with experimental results are presented.
Keywords :
formal specification; human computer interaction; NSigma-labeled calculus; expressive human-computer ensemble system; formal specification; Calculus; Computer science; Electronic mail; Formal specifications; Hidden Markov models; Humans; Instruments; Processor scheduling; Software engineering; Timing; Ensemble System; Expression of Music; Formal Specification; Musical Informatics;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.30
