Sciweavers

3031 search results - page 534 / 607
» Investigating human-computer optimization
Sort
View
JSAT
2010
132views more  JSAT 2010»
15 years 28 days ago
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers
In this paper we analyze three well-known preprocessors for Max-SAT. The first preprocessor is based on the so-called variable saturation. The second preprocessor is based on the ...
Federico Heras, David Bañeres
JSS
2010
142views more  JSS 2010»
15 years 28 days ago
Analysis of service availability for time-triggered rejuvenation policies
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
Felix Salfner, Katinka Wolter
TASLP
2010
142views more  TASLP 2010»
15 years 26 days ago
Beyond the Narrowband Approximation: Wideband Convex Methods for Under-Determined Reverberant Audio Source Separation
We consider the problem of extracting the source signals from an under-determined convolutive mixture assuming known mixing filters. State-of-the-art methods operate in the time-fr...
M. Kowalski, Emmanuel Vincent, Rémi Gribonv...
TMI
2010
206views more  TMI 2010»
15 years 25 days ago
Random Subspace Ensembles for fMRI Classification
Classification of brain images obtained through functional magnetic resonance imaging (fMRI) poses a serious challenge to pattern recognition and machine learning due to the extrem...
Ludmila I. Kuncheva, Juan José Rodrí...
JSAC
2011
134views more  JSAC 2011»
15 years 19 days ago
Simple Channel Sensing Order in Cognitive Radio Networks
— In cognitive radio networks (CRNs), effective and efficient channel exploitation is imperative for unlicensed secondary users to seize available network resources and improve ...
Ho Ting Cheng, Weihua Zhuang