This paper describes a novel approach to improve blind and visually impaired people's access to the Web by using a content-aware Web browser plug-in coupled with audio and ha...
Wai Yu, Graham McAllister, Philip Strain, Ravi Kub...
CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operati...
Bonnie E. John, Alonso H. Vera, Michael Matessa, M...
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
Abstract. Regional assessment of lung disease (such as chronic obstructive pulmonary disease) is a critical component to accurate patient diagnosis. Software tools than enable such...
Personal Development Plans (PDP) have positive effects in learners’ motivation and confidence since they enable individuals to reflect upon their own learning and to plan for th...