Understanding Formal Description of Pitch-Based Input

International audience The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input which can be used by designers to define user control of an application. However, as we discuss in...

Full description

Bibliographic Details
Main Authors: Poláček, Ondřej, Míkovec, Zdeněk
Other Authors: Faculty of Electrical Engineering Prague, Czech Technical University in Prague (CTU), Regina Bernhaupt; Peter Forbrig; Jan Gulliksen; Marta Lárusdóttir
Format: Conference Object
Language:English
Published: HAL CCSD 2010
Subjects:
Online Access:https://hal.inria.fr/hal-01055204
https://hal.inria.fr/hal-01055204/document
https://hal.inria.fr/hal-01055204/file/p36_8.pdf
https://doi.org/10.1007/978-3-642-16488-0_16
Description
Summary:International audience The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input which can be used by designers to define user control of an application. However, as we discuss in this paper, the formal description can contain semantic errors. The aim of this paper is to validate the formal description with designers. We present a tool that is capable of visualizing vocal commands and detecting semantic errors automatically. We have conducted a user study that brings preliminary results on comprehension of the formal description by designers and ability to identify and remove syntactic errors.