1738 search results - page 123 / 348 » Local Consistency and SAT-Solvers |
ICA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In this paper, we propose a method for blind source separation (BSS) of convolutive audio recordings with short blocks of stationary sources, i.e. dynamically changing so...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
IJHPCN
2008
13 years 10 months ago
2008
: We propose a set of statistical metrics for making a comprehensive, fair, and insightful evaluation of features, clustering algorithms, and distance measures in representative sa...
INFORMATICALT
1998
13 years 10 months ago
1998
Principles of the framework called time series forecasting automation are presented. It is required in processing massive temporal data sets and creating completely user-oriented f...
ICASSP
2009
IEEE
13 years 8 months ago
2009
IEEE
We consider the optimization of multicast over packet-switched communication networks with a non-zero packet-loss probability. For the system setup consisting of a number of multi...