Sciweavers

634 search results - page 16 / 127
» Completion Procedures as Semidecision Procedures
Sort
View
TASLP
2011
13 years 4 months ago
Time-Domain Blind Separation of Audio Sources on the Basis of a Complete ICA Decomposition of an Observation Space
—Time-domain algorithms for blind separation of audio sources can be classified as being based either on a partial or complete decomposition of an observation space. The decompo...
Zbynek Koldovský, Petr Tichavský
ICASSP
2011
IEEE
13 years 1 months ago
Low-rank matrix completion with geometric performance guarantees
—The low-rank matrix completion problem can be stated as follows: given a subset of the entries of a matrix, find a low-rank matrix consistent with the observations. There exist...
Wei Dai, Ely Kerman, Olgica Milenkovic
CSDA
2006
142views more  CSDA 2006»
13 years 9 months ago
A studentized range test for the equivalency of normal means under heteroscedasticity
A studentized range test using a two-stage and a one-stage sampling procedures, respectively, is proposed for testing the hypothesis that the average deviation of the normal means...
Miin-Jye Wen, Hubert J. Chen
TOG
2012
221views Communications» more  TOG 2012»
12 years 5 days ago
Gabor noise by example
Procedural noise is a fundamental tool in Computer Graphics. However, designing noise patterns is hard. In this paper, we present Gabor noise by example, a method to estimate the ...
Bruno Galerne, Ares Lagae, Sylvain Lefebvre, Georg...
ECAI
2010
Springer
13 years 10 months ago
Sound and Complete Landmarks for And/Or Graphs
Landmarks for a planning problem are subgoals that are necessarily made true at some point in the execution of any plan. Since verifying that a fact is a landmark is PSPACE-complet...
Emil Keyder, Silvia Richter, Malte Helmert