Sciweavers

747 search results - page 18 / 150
» Using and Combining Predictors That Specialize
Sort
View
GECCO
2004
Springer
131views Optimization» more  GECCO 2004»
14 years 26 days ago
PolyEDA: Combining Estimation of Distribution Algorithms and Linear Inequality Constraints
Estimation of distribution algorithms (EDAs) are population-based heuristic search methods that use probabilistic models of good solutions to guide their search. When applied to co...
Jörn Grahl, Franz Rothlauf
FMCAD
1998
Springer
13 years 11 months ago
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yun...
SDM
2007
SIAM
198views Data Mining» more  SDM 2007»
13 years 9 months ago
Learning from Time-Changing Data with Adaptive Windowing
We present a new approach for dealing with distribution change and concept drift when learning from data sequences that may vary with time. We use sliding windows whose size, inst...
Albert Bifet, Ricard Gavaldà
MICCAI
2003
Springer
14 years 8 months ago
Morphometric Analysis of Brain Structures for Improved Discrimination
Abstract. We perform discriminative analysis of brain structures using morphometric information. Spherical harmonics technique and point distribution model are used for shape descr...
Li Shen, James Ford, Fillia Makedon, Yuhang Wang, ...
ICWS
2009
IEEE
13 years 5 months ago
Discovery of Optimized Web Service Configurations Using a Hybrid Semantic and Statistical Approach
We present a Semantic Optimized Service Discovery (SemOSD) approach capable of handling Web service search requests on a fine-grained level of detail where we augment semantic ser...
Maciej Zaremba, Jacek Migdal, Manfred Hauswirth