Sciweavers

3221 search results - page 107 / 645

» Termination of Linear Programs

25

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

14 years 1 months ago

Implementing Efficient Resource Management for Linear Logic Programming

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

19

FOCS
2002
IEEE

110views Theoretical Computer Science» more FOCS 2002»

Decoding Turbo-Like Codes via Linear Programming

14 years 1 months ago

Decoding Turbo-Like Codes via Linear Programming

Download people.csail.mit.edu

Jon Feldman, David R. Karger

claim paper

Read More »

21

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

14 years 15 days 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 »

25

WADS
2001
Springer

86views Algorithms» more WADS 2001»

Practical Approximation Algorithms for Separable Packing Linear Programs

14 years 14 days 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 »

21

COMPGEOM
1993
ACM

84views Discrete Geometry» more COMPGEOM 1993»

Helly Theorems and Generalized Linear Programming

14 years 4 days 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 »