3044 search results - page 284 / 609 » Linear logical approximations |
165
click to vote
TCS
2008
15 years 6 months ago
2008
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) cal...
170
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
200
Voted
RR
2010
Springer
15 years 5 months ago
2010
Springer
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
173
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
A visually-optimal quantization and rate-control strategy based on results of recent contrast sensitivity and suprathreshold summation experiments is proposed. At suprathreshold c...
169
click to vote
APPROX
2009
Springer
16 years 1 months ago
2009
Springer
We give the first constant factor approximation algorithm for the asymmetric Virtual Private Network (Vpn) problem with arbitrary concave costs. We even show the stronger result, ...