3690 search results - page 179 / 738 » Computation with classical sequents |
97
Voted
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...
100
Voted
EUROCRYPT
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we show how to convert a statistically binding but computationally concealing quantum bit commitment scheme into a computationally binding but statistically concealin...
110
Voted
HOA
1993
15 years 4 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
74
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
ICASSP
2010
IEEE
15 years 24 days ago
2010
IEEE
The characterization of signals and images in manifolds often lead to efficient dimensionality reduction algorithms based on manifold distance computation for analysis or classi...