3690 search results - page 483 / 738 » Computation with classical sequents |
179
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Classical volume rendering is computed by casting a bundle of parallel rays from a flat viewing plane onto the volume data set, and produces as such a spatially limited view of the...
156
click to vote
RANDOM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this article we introduce (combinatorial) multi{color discrepancy and generalize some classical results from 2{color discrepancy theory to ccolors. We give a recursive...
185
click to vote
EUROCRYPT
1998
Springer
15 years 11 months ago
1998
Springer
We introduce a new cryptosystem with trapdoor decryption based on the di culty of computing discrete logarithms in the class group of the non-maximal imaginary quadratic order O q ...
181
click to vote
SCCC
1997
IEEE
15 years 11 months ago
1997
IEEE
A cooperative database allows the user to specify approximate or vague query conditions. A vague query requires the database system to rank the retrieved answers according to thei...
157
click to vote
RANDOM
1997
Springer
15 years 10 months ago
1997
Springer
Most research on resource-bounded measure and randomness has focused on the uniform probability density, or Lebesgue measure, on {0, 1}∞ ; the study of resource-bounded measure ...