7486 search results - page 339 / 1498 » The Limits of Quantum Computers |
199
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
186
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...
124
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Many communicative behaviors in the animal kingdom consist of performing and recognizing specialized patterns of oscillatory motion. Here we present an approach to the representat...
166
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present an intrusion-detection tool aimed at protecting web servers, and justify why such a tool is needed. We describe several interesting features, such as the ability to run...
156
click to vote
IV
1999
IEEE
15 years 11 months ago
1999
IEEE
In Computer Graphics, aliasing is a problem which is always present when discrete elements are mapped to continuous functions or vice-versa. Although there is no general solution ...