An approach to formal verification of human–computer interaction
Formal Aspects of Computing
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Formal Analysis of an Airplane Accident in $N{\it \Sigma}$-Labeled Calculus
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Formal System and Semantics of NSigma-Labeled Calculus
AICI '09 Proceedings of the 2009 International Conference on Artificial Intelligence and Computational Intelligence - Volume 03
AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
Labeled @-calculus: formalism for time-concerned human factors
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Expressive secondo performances of a realtime person-computer ensemble system
AICI'12 Proceedings of the 4th international conference on Artificial Intelligence and Computational Intelligence
Hi-index | 0.00 |
A person-computer ensemble system is one of time-concerned cooperative systems, which performs secondo (the second part) in an ensemble played by a computer-controlled piano cooperating with primo (the leading part) played by a person performer. In the realtime performance, to determine which key is touched, or played, by the person performer, the matching algorithm between the score and the realtime input from the person performer is essential. Especially, if there are some mistouches (playing incorrectly) or other mistake, error, etc., the program does not determine which note is performed just now and which note of the secondo will be done just after now. Therefore, the matching method that corrects these mistouches is very important. In this paper, a simple and efficient matching algorithm is proposed.