1132 search results - page 187 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
107
click to vote
FOCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We continue the recent line of work on the connection between semidefinite programming-based approximation algorithms and the Unique Games Conjecture. Given any boolean 2-CSP (or...
98
Voted
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
Non-linear warping appears in document images when captured by a digital camera or a scanner, especially in the case that these documents are digitized bounded volumes. Arbitraril...
109
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
The growing reliance on services provided by software applications places a high premium on the reliable and efficient operation of these applications. A number of these applicat...
114
click to vote
WAOA
2005
Springer
15 years 7 months ago
2005
Springer
An instance of the classical Stable Roommates problem (sr) need not admit a stable matching. This motivates the problem of finding a matching that is “as stable as possible”, ...
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...