3238 search results - page 271 / 648 » Not Enough Points Is Enough |
164
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The explosion of the amount of information available in digital form has made search a hot research topic for the Information Management Community. While most of the research on s...
171
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We present All Together Now (ATN), a tool for visualizing localized activities involving both local and remote actors. ATN presents each user with a webpage containing a common vi...
174
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We revisit the definition of regressions in eye tracking, having found existing definitions, formulated within a reading paradigm, unsuitable for visual display assessment. The ne...
315
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
165
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...