433 search results - page 72 / 87 » Generalized Ham-Sandwich Cuts |
169
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Image segmentation based on pairwise pixel similarities has been a very active field of research in recent years. The drawbacks common to these segmentation methods are the enormou...
151
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
155
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...
134
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Presently, a necessary modification to mainstream analysis tools prevents the direct application of reluctance k. In this paper, we propose a reluctance realization algorithm (RRA...
153
click to vote
ESA
2006
Springer
15 years 9 months ago
2006
Springer
The class Max (r, 2)-CSP consists of constraint satisfaction problems with at most two r-valued variables per clause. For instances with n variables and m binary clauses, we presen...