6358 search results - page 81 / 1272 » Computing spectral sequences |
113
click to vote
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
132
Voted
FOCS
2006
IEEE
15 years 7 months ago
2006
IEEE
We consider random 3CNF formulas with n variables and m clauses. It is well known that when m > cn (for a sufficiently large constant c), most formulas are not satisfiable. How...
144
Voted
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this paper we propose an approach for the problem of single channel source separation of speech and music signals. Our approach is based on representing each source’s power...
128
Voted
CSR
2006
Springer
15 years 7 months ago
2006
Springer
A central object of study in the field of algorithmic randomness are notions of randomness for sequences, i.e., infinite sequences of zeros and ones. These notions are usually def...
113
Voted
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
Registering consecutive images from an airborne sensor into a mosaic is an essential tool for image analysts. Strictly local methods tend to accumulate errors, resulting in distor...