Sciweavers

6279 search results - page 292 / 1256
» Studies in Solution Sampling
Sort
View
ISMIR
2005
Springer
215views Music» more  ISMIR 2005»
15 years 11 months ago
Separation of Vocals from Polyphonic Audio Recordings
Source separation techniques like independent component analysis and the more recent non-negative matrix factorization are gaining widespread use for the monaural separation of in...
Shankar Vembu, Stephan Baumann
MIDDLEWARE
2005
Springer
15 years 11 months ago
I-RMI: Performance Isolation in Information Flow Applications
A problem with many distributed applications is their behavior in lieu of unpredictable variations in user request volumes or in available resources. This paper explores a performa...
Mohamed S. Mansour, Karsten Schwan
SAT
2005
Springer
145views Hardware» more  SAT 2005»
15 years 11 months ago
A New Approach to Model Counting
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
Wei Wei, Bart Selman
SSD
2005
Springer
122views Database» more  SSD 2005»
15 years 11 months ago
Selectivity Estimation of High Dimensional Window Queries via Clustering
Abstract. Query optimization is an important functionality of modern database systems and often based on estimating the selectivity of queries before actually executing them. Well-...
Christian Böhm, Hans-Peter Kriegel, Peer Kr&o...
ICPR
2010
IEEE
15 years 10 months ago
Large Margin Classifier Based on Affine Hulls
This paper introduces a geometrically inspired large-margin classifier that can be a better alternative to the Support Vector Machines (SVMs) for the classification problems with ...
Hakan Cevikalp, Hasan Serhan Yavuz