Sciweavers

14165 search results - page 616 / 2833
» The generalized two-server problem
Sort
View
HEURISTICS
2008
153views more  HEURISTICS 2008»
15 years 7 months ago
Bringing order into the neighborhoods: relaxation guided variable neighborhood search
In this article we investigate a new variant of Variable Neighborhood Search (VNS): Relaxation Guided Variable Neighborhood Search. It is based on the general VNS scheme and a new...
Jakob Puchinger, Günther R. Raidl
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 7 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
CORR
2006
Springer
107views Education» more  CORR 2006»
15 years 7 months ago
On Sequence Prediction for Arbitrary Measures
Suppose we are given two probability measures on the set of one-way infinite finite-alphabet sequences and consider the question when one of the measures predicts the other, that ...
Daniil Ryabko, Marcus Hutter
ECCC
2006
109views more  ECCC 2006»
15 years 7 months ago
How to rank with few errors: A PTAS for Weighted Feedback Arc Set on Tournaments
Suppose you ran a chess tournament, everybody played everybody, and you wanted to use the results to rank everybody. Unless you were really lucky, the results would not be acyclic...
Claire Kenyon-Mathieu, Warren Schudy
JCP
2008
135views more  JCP 2008»
15 years 7 months ago
Hybrid Evolutionary Algorithm Based Solution for Register Allocation for Embedded Systems
Embedded systems have an ever-increasing need for optimizing compilers to produce high quality codes with a limited general purpose register set. Either memory or registers are use...
Anjali Mahajan, M. S. Ali