Single Display Groupware (SDG) solutions have been used to create software for disadvantaged children, particularly in the developing world. SDG allows for greater utilization of ...
Kurtis Heimerl, Divya Ramachandran, Joyojeet Pal, ...
The project fragmentation problem in personal information management occurs when someone who is working on a single project stores and retrieves information items relating to that...
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
In a conversational system, determining a user’s focus of attention is crucial to the success of the system. Motivated by previous psycholinguistic findings, we are currently e...
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...