Sciweavers

3221 search results - page 107 / 645

» Termination of Linear Programs

126

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

15 years 8 months ago

Implementing Efficient Resource Management for Linear Logic Programming

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

86

FOCS
2002
IEEE

110views Theoretical Computer Science» more FOCS 2002»

Decoding Turbo-Like Codes via Linear Programming

15 years 8 months ago

Decoding Turbo-Like Codes via Linear Programming

Download people.csail.mit.edu

Jon Feldman, David R. Karger

claim paper

Read More »

104

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

15 years 7 months ago

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

Download kaminari.scitec.kobe-u.ac.jp

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...

claim paper

Read More »

139

WADS
2001
Springer

86views Algorithms» more WADS 2001»

Practical Approximation Algorithms for Separable Packing Linear Programs

15 years 7 months ago

Practical Approximation Algorithms for Separable Packing Linear Programs

Download www.cs.gsu.edu

Abstract. We describe fully polynomial time approximation schemes for generalized multicommodity ﬂow problems arising in VLSI applications such as Global Routing via Buffer Block...

Feodor F. Dragan, Andrew B. Kahng, Ion I. Mandoiu,...

claim paper

Read More »

111

COMPGEOM
1993
ACM

84views Discrete Geometry» more COMPGEOM 1993»

Helly Theorems and Generalized Linear Programming

15 years 7 months ago

Helly Theorems and Generalized Linear Programming

Download www.cs.ucdavis.edu

Nina Amenta

claim paper

Read More »

« Prev « First page 107 / 645 Last » Next »