We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
We describe Livenotes, a shared whiteboard system and educational practice that uses wireless communication and tablet computing to support real-time conversations within small gr...
Matthew Kam, Jingtao Wang, Alastair Iles, Eric Tse...
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
Elderly people often experience difficulties using interactive TV. This paper presents the findings of a usability evaluation study in combination with eye-tracking conducted for a...
Marianna Obrist, Regina Bernhaupt, Elke Beck, Manf...
Supporting groups of individuals exploring large maps and design diagrams on interactive tabletops is still an open research problem. Today’s geospatial, mechanical engineering ...