Sciweavers

JCSS
2006
51views more  JCSS 2006»
13 years 11 months ago
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
Gilles Geeraerts, Jean-François Raskin, Lau...
JCSS
2006
83views more  JCSS 2006»
13 years 11 months ago
TSP with bounded metrics
Lars Engebretsen, Marek Karpinski
JCSS
2006
40views more  JCSS 2006»
13 years 11 months ago
A parametric analysis of the state-explosion problem in model checking
Stéphane Demri, François Laroussinie...
JCSS
2006
76views more  JCSS 2006»
13 years 11 months ago
How much can taxes help selfish routing?
Richard Cole, Yevgeniy Dodis, Tim Roughgarden
JCSS
2006
89views more  JCSS 2006»
13 years 11 months ago
Ramsey-type theorems for metric spaces with applications to online problems
A nearly logarithmic lower bound on the randomized competitive ratio for the metrical task systems problem is presented. This implies a similar lower bound for the extensively stu...
Yair Bartal, Béla Bollobás, Manor Me...
JCSS
2006
36views more  JCSS 2006»
13 years 11 months ago
Minimizing maximum fiber requirement in optical networks
Matthew Andrews, Lisa Zhang