• DocumentCode
    2880156
  • 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
  • fYear
    2009
  • fDate
    29-31 July 2009
  • Firstpage
    303
  • Lastpage
    304
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/TASE.2009.30
  • Filename
    5198522
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2880156