التفاصيل البيبلوغرافية
| العنوان: |
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal |
| المؤلفون: |
Masayuki Shio, Yasuwo Ikeda, Tatsuo Suzuki, Tetsuya Mizutani |
| المصدر: |
TASE |
| بيانات النشر: |
IEEE, 2009. |
| سنة النشر: |
2009 |
| مصطلحات موضوعية: |
ComputingMethodologies_PATTERNRECOGNITION, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Theoretical computer science, Computer science, Programming language, Computer Science::Logic in Computer Science, Formal specification, Logical representation, computer.software_genre, computer |
| الوصف: |
Logical representation of an expressive human-computer ensemble system by N∑-labeled calculus together with experimental results are presented. |
| DOI: |
10.1109/tase.2009.30 |
| URL الوصول: |
https://explore.openaire.eu/search/publication?articleId=doi_________::404876b844438916803df3ebcec228e0
https://doi.org/10.1109/tase.2009.30 |
| رقم الانضمام: |
edsair.doi...........404876b844438916803df3ebcec228e0 |
| قاعدة البيانات: |
OpenAIRE |