1589 search results - page 188 / 318 » Constraints with Variables' Annotations |
134
click to vote
ISLPED
2000
ACM
15 years 8 months ago
2000
ACM
Processors in portable electronic devices generally have a computational load which has time-varying performance requirements. Dynamic Voltage Scaling is a method to vary the proc...
139
click to vote
JFPLC
2001
15 years 5 months ago
2001
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...
133
click to vote
WCE
2007
15 years 5 months ago
2007
— The rapid transit network design problem considers at upper level the list of potential transit corridors and stations to design the network as a discrete space of alternatives...
124
click to vote
DAM
2010
15 years 4 months ago
2010
In this paper we propose a new integer programming formulation for the multilevel facility location problem and a novel 3-approximation algorithm based on LP rounding. The linear ...
111
Voted
ECCC
2006
15 years 4 months ago
2006
In this note we present an approximation algorithm for MAX 2SAT that given a (1 - ) satisfiable instance finds an assignment of variables satisfying a 1 - O( ) fraction of all co...