• A formal model for output multimodal HCI 

    Mohand Oussaïd, Linda; Ait Sadoune, Idir; Ait Ameur, Yamine; Ahmed-Nacer, Mohamed
    In : (Springer Vienna, 2015-07)
    Multimodal human–computer interaction (HCI) combine modalities at an abstract specification level in order to get information from the user (input multimodality) and to return information to the user (output multimodality). These multimodal interfaces use two mechanisms: first, the fusion of information transmitted by ...
  • A generic formal model for fission of modalities in output multi-modal interactive systems 

    Mohand Oussaïd, Linda; Ait Ameur, Yamine; Ahmed-Nacer, Mohamed
    In : International Workshop on Verification and Evaluation of Computer and Communication Systems, (Rabat, Maroc, 2009)
    Output multi-modal human-machine interfaces combine semantically output medias and modalities in order to increase interaction machine capabilities. The aim of this paper is to present a formal model supporting formal specifications of output multi-modal interactive systems. As a consequence, the expected usability ...
  • Formal modelling of output multi-modal HCI in Event-B. Modalities and media allocation 

    Mohand Oussaïd, Linda; Ait Sadoune, Idir; Ait Ameur, Yamine
    In : Rapports de recherche internes, (CERIST, Alger, 2013-12-15)
    Multi-modal Human-Computer Interfaces (HCI) allow interface designers to combine interactive modalities in order to increase interactive systems robustness and usability. In particular, output multi-modal interfaces allow the system to return the information to the user by using several modalities and media. In order ...
  • modélisation formelle d'IHM multi-modales en sortie avec B Evénementiel 

    Mohand Oussaïd, Linda; Ait Sadoune, Idir; Ait Ameur, Yamine; Ahmed-Nacer, Mohamed
    In : Rapports de recherche internes, (CERIST, Alger, 23-04-2014)
    Les interfaces homme-machine (IHM) multi-modales offrent à l’utilisateur la possibilité de combiner les modalités d’interaction afin d’augmenter la robustesse et l’utilisabilité de l’interface utilisateur d’un système. Plus particulièrement, en sortie, les IHM multi-modales permettent au système de restituer à l’utilisateur, ...