Sciweavers

4208 search results - page 424 / 842
» Challenges in Evaluating Distributed Algorithms
Sort
View
ECIR
2011
Springer
14 years 7 months ago
Balancing Exploration and Exploitation in Learning to Rank Online
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...
Katja Hofmann, Shimon Whiteson, Maarten de Rijke
TACAS
2012
Springer
316views Algorithms» more  TACAS 2012»
13 years 11 months ago
Compositional Termination Proofs for Multi-threaded Programs
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...
Corneliu Popeea, Andrey Rybalchenko
CVPR
2012
IEEE
13 years 6 months ago
Adaptive figure-ground classification
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...
Yisong Chen, Antoni B. Chan, Guoping Wang
127
Voted
GECCO
2005
Springer
228views Optimization» more  GECCO 2005»
15 years 9 months ago
An effective use of crowding distance in multiobjective particle swarm optimization
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...
Carlo R. Raquel, Prospero C. Naval Jr.
MIDDLEWARE
2005
Springer
15 years 9 months ago
Dual-Quorum Replication for Edge Services
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...
Lei Gao, Michael Dahlin, Jiandan Zheng, Lorenzo Al...