2286 search results - page 292 / 458 » Algorithms for Categorical Equivalence |
159
click to vote
TIT
2008
15 years 6 months ago
2008
An underdetermined linear system of equations Ax = b with non-negativity constraint x 0 is considered. It is shown that for matrices A with a row-span intersecting the positive o...
174
click to vote
COMBINATORICS
2004
15 years 6 months ago
2004
In 1958, Richard Guy proved that the number of partitions of n into odd parts greater than one equals the number of partitions of n into distinct parts with no powers of 2 allowed...
189
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We recently introduced the watershed cuts, a notion of watershed in edge-weighted graphs. In this paper, we propose a new thinning paradigm to compute them. More precisel...
141
click to vote
TOPLAS
2008
15 years 5 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
163
click to vote
ACL
2010
15 years 4 months ago
2010
Incremental parsing techniques such as shift-reduce have gained popularity thanks to their efficiency, but there remains a major problem: the search is greedy and only explores a ...