• 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 ...
  • 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, ...