1140 search results - page 84 / 228 » Progress on Certifying Algorithms |
COCO
2009
Springer
15 years 7 months ago
2009
Springer
We prove that poly-sized AC0 circuits cannot distinguish a poly-logarithmically independent distribution from the uniform one. This settles the 1990 conjecture by Linial and Nisan...
90
Voted
MMB
1999
Springer
15 years 5 months ago
1999
Springer
Auctions are a widely used approach for determining the current market price for congested resources. However, using them for real systems, such as the Internet, the auction algor...
AMTA
1998
Springer
15 years 4 months ago
1998
Springer
This paper describes the progress of a machine translation system from Chinese to English. The system is based on a reusable platform of MT software components. It's a rule-ba...
116
Voted
FPL
1998
Springer
15 years 4 months ago
1998
Springer
With the XC6200 FPGA Xilinx introduced the first commercially available FPGA designed for reconfigurable computing. It has a completely new internal architecture, so new design alg...
114
click to vote
CPAIOR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...