3690 search results - page 253 / 738 » Computation with classical sequents |
87
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
— The pressure of fundamental limits on classical computation and the promise of exponential speedups from quantum effects have recently brought quantum circuits to the attention...
104
click to vote
PODC
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical probl...
90
Voted
NIPS
2008
15 years 2 months ago
2008
Accurate and efficient inference in evolutionary trees is a central problem in computational biology. While classical treatments have made unrealistic site independence assumption...
101
Voted
DGCI
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Differential operators are essential in many image processing applications. Previous work has shown how to compute derivatives more accurately by examining the image loca...
110
click to vote
AIEDAM
2008
15 years 29 days ago
2008
Although it is known that quantum computers can solve certain computational problems exponentially faster than classical computers, only a small number of quantum algorithms have ...