Search Sciweavers | Sciweavers

9604 search results - page 14 / 1921

» The Duality of TIme and Information

click to vote

DM
2010

89views more DM 2010»

Polynomial-time dualization of r-exact hypergraphs with applications in geometry

14 years 9 months ago

Download www.mpi-inf.mpg.de

Let H 2V be a hypergraph on vertex set V . For a positive integer r, we call H r-exact, if any minimal transversal of H intersects any hyperedge of H in at most r vertices. This ...

Khaled M. Elbassioni, Imran Rauf

claim paper

Read More »

click to vote

TCS
2002

105views Theoretical Computer Science» more TCS 2002»

The continuum as a final coalgebra

14 years 9 months ago

Download boole.stanford.edu

oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...

Dusko Pavlovic, Vaughan R. Pratt

claim paper

Read More »

click to vote

FOCS
2010
IEEE

129views Theoretical Computer Science» more FOCS 2010»

Black-Box Randomized Reductions in Algorithmic Mechanism Design

14 years 7 months ago

Download theory.stanford.edu

We give the first black-box reduction from arbitrary approximation algorithms to truthful approximation mechanisms for a non-trivial class of multiparameter problems. Specifically,...

Shaddin Dughmi, Tim Roughgarden

claim paper

Read More »

Voted

INFORMS
2007

94views more INFORMS 2007»

A Two-Stage Heuristic with Ejection Pools and Generalized Ejection Chains for the Vehicle Routing Problem with Time Windows

14 years 9 months ago