4208 search results - page 424 / 842 » Challenges in Evaluating Distributed Algorithms |
208
click to vote
ECIR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. As retrieval systems become more complex, learning to rank approaches are being developed to automatically tune their parameters. Using online learning to rank approaches...
222
Voted
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
196
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We propose an adaptive figure-ground classification algorithm to automatically extract a foreground region using a user-provided bounding-box. The image is first over-segmented wi...
177
Voted
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, we present an approach that extends the Particle Swarm Optimization (PSO) algorithm to handle multiobjective optimization problems by incorporating the mechanism of...
170
Voted
MIDDLEWARE
2005
Springer
16 years 10 days ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...