1746 search results - page 228 / 350 » On the expressiveness of interaction |
170
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
With the advancement in technologies to locate individuals, there has been an emergence of information systems that link People-to-People-to-Geographical-Places, labeled P3Systems...
153
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Video-mediated communication systems such as teleconferencing and videophone have become popular. As with face-to-face communication, non-verbal cues such as gaze, facial expressi...
167
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Sign languages have been proven to be natural languages, as capable of expressing human thoughts and emotions as traditional languages are. The distinct visual and spatial nature ...
148
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
In this paper we describe the results of a study investigating the behaviour and views of bystanders in response to a proximal mobile telephone conversation by a third party. Anal...
189
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...