3690 search results - page 424 / 738 » Computation with classical sequents |
173
click to vote
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
We give new bounds on the circuit complexity of the quantum Fourier transform (QFT). We give an upper bound of Ç´ÐÓ Ò · ÐÓ ÐÓ ´½ µµ on the circuit depth for computin...
249
click to vote
VVS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present here a new algorithm for accelerating volume rendering with an orthographic projection. Because volume rendering handles huge data sets, a reduction in the computationa...
178
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...
169
click to vote
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
— A number of active contour models have been proposed that unify the curve evolution framework with classical energy minimization techniques for segmentation, such as snakes. Th...
178
Voted
PODC
1997
ACM
15 years 11 months ago
1997
ACM
Replicated services accessed via quorums enable each access to be performed at only a subset (quorum) of the servers and achieve consistency across accesses by requiring any two qu...