Sciweavers

2891 search results - page 174 / 579
» More or Less Elaborate
Sort
View
ICA
2004
Springer
15 years 11 months ago
Blind Source Separation of Linear Mixtures with Singular Matrices
We consider the Blind Source Separation problem of linear mixtures with singular matrices and show that it can be solved if the sources are sufficiently sparse. More generally, we ...
Pando G. Georgiev, Fabian J. Theis
160
Voted
ICALP
2004
Springer
15 years 11 months ago
The Power of Verification for One-Parameter Agents
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
Vincenzo Auletta, Roberto De Prisco, Paolo Penna, ...
157
Voted
KR
2004
Springer
15 years 11 months ago
Qualitative Probabilistic Matching with Hierarchical Descriptions
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
Clinton Smyth, David Poole
SAT
2004
Springer
158views Hardware» more  SAT 2004»
15 years 11 months ago
Aligning CNF- and Equivalence-Reasoning
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
Marijn Heule, Hans van Maaren
CBMS
2003
IEEE
15 years 11 months ago
Approximate Entropy Based Pulse Variability Analysis
The dynamical analysis of pulse variability gives new insight into researches of cardiovascular system’s dynamics. Firstly, long-term pulse variability analysis for the research...
Kuanquan Wang, Lisheng Xu, Zhenguo Li, David Zhang...