4305 search results - page 333 / 861 » The Test of Time |
173
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The Active Buffer project is part of the CBM (compressed baryonic matter) experiment and takes advantage of the DPR (dynamic partial reconfiguration) technology, in which a dynam...
151
Voted
ACL
1998
15 years 8 months ago
1998
We introduce an algorithm for scope resolution in underspecified semantic representations. Scope preferences are suggested on the basis of semantic argument structure. The major n...
150
click to vote
NIPS
1990
15 years 8 months ago
1990
Inspired by a visual motion detection model for the rabbit retina and by a computational architecture used for early audition in the barn owl, we have designed a chip that employs...
191
click to vote
JMLR
2010
15 years 1 months ago
2010
Hartigan's method for k-means clustering is the following greedy heuristic: select a point, and optimally reassign it. This paper develops two other formulations of the heuri...
163
click to vote
SAT
2005
Springer
16 years 8 days ago
2005
Springer
We give a randomized algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. Its running time is at most 2n(1−1...