3228 search results - page 476 / 646 » Computationally Sound Proofs |
102
click to vote
MM
2004
ACM
15 years 8 months ago
2004
ACM
Shibboleth is a multimedia artwork that explores the cultural barriers created and enforced by accent and pronunciation differences. It is founded on the idea of biblical origin ...
120
Voted
ANTSW
2004
Springer
15 years 8 months ago
2004
Springer
Designing an optimal overlay communication network for a set of processes on the Internet is a central problem of peer-to-peer (P2P) computing. Such a network defines membership a...
118
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
128
click to vote
FSE
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we study the minimum distance between the set of bent functions and the set of 1-resilient Boolean functions and present a lower bound on that. The bound is proved to...
124
click to vote
ICMI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...