1695 search results - page 13 / 339 » Linear, Polynomial or Exponential |
95
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
70
Voted
ICALP
2009
Springer
16 years 28 days ago
2009
Springer
114
click to vote
SODA
2000
ACM
15 years 2 months ago
2000
ACM
This paper shows that the minimum ratio canceling algorithm of Wallacher (1989) (and a faster relaxed version) can be generalized to an algorithm for general linear programs with ...
APPROX
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The Kaczmarz method for solving linear systems of equations Ax = b is an iterative algorithm that has found many applications ranging from computer tomography to digital ...
107
click to vote
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...