175 search results - page 30 / 35 » Structural Properties and Tractability Results for Linear Sy... |
JUCS
2007
14 years 11 months ago
2007
: The distribution of overlaps of solutions of a random constraint satisfaction problem (CSP) is an indicator of the overall geometry of its solution space. For random k-SAT, nonri...
80
Voted
MSCS
2006
14 years 11 months ago
2006
This paper revisits the authors' notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a como...
107
Voted
JCO
2008
14 years 11 months ago
2008
We study variants of classical stable matching problems in which there is an additional requirement for a stable matching, namely that there should not be two participants who wou...
181
click to vote
POPL
2006
ACM
15 years 12 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
101
Voted
SIAMSC
2010
14 years 6 months ago
2010
Abstract. The Arnoldi method is currently a very popular algorithm to solve large-scale eigenvalue problems. The main goal of this paper is to generalize the Arnoldi method to the ...