Sciweavers

543 search results - page 71 / 109
» New Upper Bounds for MaxSat
Sort
View
ESA
2009
Springer
130views Algorithms» more  ESA 2009»
15 years 4 months ago
On the Performance of Approximate Equilibria in Congestion Games
We study the performance of approximate Nash equilibria for congestion games with polynomial latency functions. We consider how much the price of anarchy worsens and how much the ...
George Christodoulou, Elias Koutsoupias, Paul G. S...
QEST
2007
IEEE
15 years 4 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...
ISPD
1998
ACM
88views Hardware» more  ISPD 1998»
15 years 1 months ago
An efficient technique for device and interconnect optimization in deep submicron designs
In this paper, we formulate a new class of optimization problem, named the general CH-posynomial program, and reveal the general dominance property. We propose an efcient algorith...
Jason Cong, Lei He
EOR
2007
87views more  EOR 2007»
14 years 9 months ago
The TV-Break Packing Problem
Instead of selling advertisement spots one by one, some French satellite channels decided in 2002 to modify their commercial offer in order to sell packages of spots. These new g...
Thierry Benoist, Eric Bourreau, Benoît Rotte...
CDC
2010
IEEE
125views Control Systems» more  CDC 2010»
14 years 4 months ago
Towards robust Lie-algebraic stability conditions for switched linear systems
This paper presents new sufficient conditions for exponential stability of switched linear systems under arbitrary switching, which involve the commutators (Lie brackets) among the...
Andrei A. Agrachev, Yuliy Baryshnikov, Daniel Libe...