4099 search results - page 695 / 820 » A Framework for Interactive Proof |
126
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Compiler technology for multimedia extensions must effectively utilize not only the SIMD compute engines but also the various levels of the memory hierarchy: superword registers,...
137
click to vote
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
Many methods for end-to-end bandwidth estimation on wired networks assume that link capacities are constant and that all cross-traffic interaction occurs through queuing delays at...
147
click to vote
ISMAR
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a system that applies a custom-built pan-tilt-zoom camera for laser-pointer tracking in arbitrary real environments. Once placed in a building environment, it carries o...
159
click to vote
IV
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a model of information aesthetics in the context of information visualization. It addresses the need to acknowledge a recently emerging number of visualization...
161
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...