Search Sciweavers | Sciweavers

3221 search results - page 106 / 645

» Termination of Linear Programs

click to vote

FOCS
2005
IEEE

83views Theoretical Computer Science» more FOCS 2005»

Error Correction via Linear Programming

14 years 1 months ago

Download www.math.ucla.edu

Emmanuel J. Candès, Mark Rudelson, Terence ...

claim paper

Read More »

click to vote

FOCS
2005
IEEE

114views Theoretical Computer Science» more FOCS 2005»

Truthful and Near-Optimal Mechanism Design via Linear Programming

14 years 1 months ago

Download ist.caltech.edu

We give a general technique to obtain approximation mechanisms that are truthful in expectation. We show that for packing domains, any α-approximation algorithm that also bounds ...

Ron Lavi, Chaitanya Swamy

claim paper

Read More »

click to vote

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

14 years 1 months ago

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

click to vote

CPM
2005
Springer

70views Combinatorics» more CPM 2005»

Linear Programming for Phylogenetic Reconstruction Based on Gene Rearrangements

14 years 1 months ago

Download www.cs.ucr.edu

Jijun Tang, Bernard M. E. Moret

claim paper

Read More »

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers