10051 search results - page 69 / 2011 » A Dynamic Separator Algorithm |
110
Voted
STOC
2006
ACM
16 years 27 days ago
2006
ACM
The width of a resolution proof is the maximal number of literals in any clause of the proof. The space of a proof is the maximal number of clauses kept in memory simultaneously if...
100
click to vote
SIGMOD
1997
ACM
15 years 4 months ago
1997
ACM
The Partitioned Based Spatial-Merge Join (PBSM) of Patel and DeWitt and the Size Separation Spatial Join (S3 J) of Koudas and Sevcik are considered to be among the most efficient ...
110
click to vote
ALGORITHMICA
2010
15 years 21 days ago
2010
In this paper, we give a lower bound of (n(d-1)/2 ) on the quantum query complexity for finding a fixed point of a discrete Brouwer function over grid [1 : n]d . Our bound is near...
129
Voted
CSL
2010
Springer
15 years 20 days ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
107
click to vote
PAMI
2010
14 years 11 months ago
2010
—Although significant efforts have been made in developing nonnegative blind source separation techniques, accurate separation of positive yet dependent sources remains a challen...