3228 search results - page 418 / 646 » Computationally Sound Proofs |
142
Voted
SAS
2009
Springer
16 years 4 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
119
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Phishing attacks, in which criminals lure Internet users to websites that impersonate legitimate sites, are occurring with increasing frequency and are causing considerable harm t...
117
Voted
CHI
2004
ACM
16 years 4 months ago
2004
ACM
This paper traces the development of RAW, a system combining a tool and a process for capturing and conveying audiovisual impressions of everyday life. The project aims to enable ...
97
Voted
CHI
2002
ACM
16 years 4 months ago
2002
ACM
There have been many attempts to support awareness and lightweight interactions using video and audio, but few have been built on widely available infrastructure. Text-based syste...
102
Voted
CHI
2002
ACM
16 years 4 months ago
2002
ACM
Physical proximity and appearance guide people to interact with each other in different ways [1,6]. However, in Video-Mediated Communication (VMC), these are distorted in various ...