Sciweavers

20 search results - page 4 / 4
» Combination of Nonlinear Terms in Interval Constraint Satisf...
Sort
View
SODA
2000
ACM
114views Algorithms» more  SODA 2000»
13 years 6 months ago
Typical random 3-SAT formulae and the satisfiability threshold
: k-SAT is one of the best known among a wide class of random constraint satisfaction problems believed to exhibit a threshold phenomenon where the control parameter is the ratio, ...
Olivier Dubois, Yacine Boufkhad, Jacques Mandler
CSCLP
2004
Springer
13 years 10 months ago
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation
Abstract. In this paper we develop a localized value-ordering heuristic for distributed resource allocation problems. We show how this value ordering heuristics can be used to achi...
Adrian Petcu, Boi Faltings
EDBT
2004
ACM
147views Database» more  EDBT 2004»
14 years 5 months ago
Projection Pushing Revisited
The join operation, which combines tuples from multiple relations, is the most fundamental and, typically, the most expensive operation in database queries. The standard approach t...
Benjamin J. McMahan, Guoqiang Pan, Patrick Porter,...
RSS
2007
129views Robotics» more  RSS 2007»
13 years 6 months ago
Spatially-Adaptive Learning Rates for Online Incremental SLAM
— Several recent algorithms have formulated the SLAM problem in terms of non-linear pose graph optimization. These algorithms are attractive because they offer lower computationa...
Edwin Olson, John J. Leonard, Seth J. Teller
ICPR
2010
IEEE
13 years 5 months ago
Semi-blind Speech-Music Separation Using Sparsity and Continuity Priors
—In this paper we propose an approach for the problem of single channel source separation of speech and music signals. Our approach is based on representing each source’s power...
Hakan Erdogan, Emad M. Grais