1140 search results - page 50 / 228 » Progress on Certifying Algorithms |
102
click to vote
SODA
2004
ACM
15 years 3 months ago
2004
ACM
d Abstract] Robert Krauthgamer James R. Lee We present a simple deterministic data structure for maintaining a set S of points in a general metric space, while supporting proximit...
127
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
109
click to vote
CPHYSICS
2007
15 years 2 months ago
2007
We illustrate recent progress in developing algorithms for solving the Kohn-Sham problem. Key ingredients of our algorithm include pseudopotentials implemented on a real space gri...
115
click to vote
AAAI
2007
15 years 4 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
119
click to vote
AFRIGRAPH
2003
ACM
15 years 6 months ago
2003
ACM
We present a view-dependent level-of-detail algorithm for triangle meshes with subdivision connectivity. The algorithm is more suitable for textured meshes of arbitrary topology t...