Academic Journal

Formal Framework and Necessary Properties of the Fusion of Input Modes in User Interfaces

التفاصيل البيبلوغرافية
العنوان: Formal Framework and Necessary Properties of the Fusion of Input Modes in User Interfaces
المؤلفون: G. Faconti, M. Bordegoni, K. Kansy, P. Trahanias, T. Rist, M. Wilson
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.dci.clrc.ac.uk/Publications/711/IwC.ps.
سنة النشر: 1996
المجموعة: CiteSeerX
مصطلحات موضوعية: multimodal interfaces, fusion, formal methods, ambiguity, redundancy, LOTOS
الوصف: Multiple input devices are increasingly used in user interfaces to make human-computer communication more efficient and effective. Interface designers have not only to decide on which input modes should be supported, but also how to fuse them into a single representation format that can be processed by the underlying application system. Drawing appropriate decisions requires, however, a sufficient understanding of the properties of fusion itself. While others have informally characterized input fusion as a transformation between information types, the purpose of this paper is to explore fusion by means of formal process modelling. That is, fusion processes are defined in a formal framework which allows to proof the existence of necessary properties following directly from the process definitions. The presented approach can be applied to analyze and compare fusion processes in existing systems, as well as an aid for interface designers, who have to verify the behaviour of their systems.
نوع الوثيقة: text
وصف الملف: application/postscript
اللغة: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.4996; http://www.dci.clrc.ac.uk/Publications/711/IwC.ps
الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.4996
http://www.dci.clrc.ac.uk/Publications/711/IwC.ps
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
رقم الانضمام: edsbas.D9A07E4B
قاعدة البيانات: BASE