327 search results - page 21 / 66 » Some Elimination Problems for Matrices |
FPL
2004
Springer
14 years 3 months ago
2004
Springer
The paper describes two methods for the design of matrix-oriented SAT solvers based on data compression. The first one provides matrix compression in a host computer and decompress...
ISMIR
2004
Springer
14 years 3 months ago
2004
Springer
Most research into music information retrieval thus far has only examined music from the western tradition. However, music of other origins often conforms to different tuning syst...
PARA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The decomposition theory of matroids initiated by Paul Seymour in the 1980's has had an enormous impact on research in matroid theory. This theory, when applied to matrices ov...
WDAG
2009
Springer
14 years 4 months ago
2009
Springer
The (M, W)-controller, originally studied by Afek, Awerbuch, Plotkin, and Saks, is a basic ted tool that provides an abstraction for managing the consumption of a global resource ...