1140 search results - page 124 / 228 » Progress on Certifying Algorithms |
92
Voted
SSDBM
2007
IEEE
15 years 7 months ago
2007
IEEE
In stream join processing with limited memory, uniform random sampling is useful for approximate query evaluation. In this paper, we address the problem of reservoir sampling over...
74
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
As SAT becomes more popular due to its ability to handle large real-world problems, progress in efficiency appears to have slowed down over the past few years. On the other hand, w...
113
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes a novel application of differential evolution to solve a difficult dynamic optimisation or optimal control problem. The miss distance in a missile-target engag...
105
click to vote
MSN
2007
Springer
15 years 6 months ago
2007
Springer
The paper addresses mobility control routing in robotic sensor wireless networks, where either mobile sensors or mobile actuators assist in wireless data intensive transmissions fr...
82
Voted
CVPR
2005
IEEE
15 years 6 months ago
2005
IEEE
Palmprint-based personal identification, as a new member in the biometrics family, has become an active research topic in recent years. Although great progress has been made, how ...