Sciweavers

JCSS
2006
51views more  JCSS 2006»
13 years 4 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 4 months ago
TSP with bounded metrics
Lars Engebretsen, Marek Karpinski
JCSS
2006
40views more  JCSS 2006»
13 years 4 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 4 months ago
How much can taxes help selfish routing?
Richard Cole, Yevgeniy Dodis, Tim Roughgarden
JCSS
2006
89views more  JCSS 2006»
13 years 4 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 4 months ago
Minimizing maximum fiber requirement in optical networks
Matthew Andrews, Lisa Zhang