6008 search results - page 855 / 1202 » The State-of-the-Art in Human-Computer Interaction |
169
click to vote
CASSIS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
150
click to vote
MHCI
2005
Springer
2005
Springer
Augmenting audio messages with visual directions in mobile guides: an evaluation of three approaches
16 years 10 days ago
Supporting users’ navigation is a fundamental feature of mobile guides. This paper presents an experimental evaluation comparing three different ways of providing navigation gu...
174
click to vote
CHI
2004
ACM
16 years 8 days ago
2004
ACM
With the evolving functionality in television-based (TVbased) information and entertainment appliances, there is an increased need to enable users input text through remote contro...
185
click to vote
CHI
2004
ACM
16 years 8 days ago
2004
ACM
Current Personal Digital Assistants (PDAs) such as Pocket PCs provide little support for sketching. This is due, no doubt, to the limited screen size and relatively poor resolutio...
176
click to vote
CHI
2004
ACM
16 years 8 days ago
2004
ACM
In this paper we describe a software tool that allows investigators to make comparisons across different online forums and media by analyzing word counts in userspecified categori...