Sciweavers

1603 search results - page 228 / 321
» Multi-Dimensional Heuristic Searching
Sort
View
SAT
2010
Springer
127views Hardware» more  SAT 2010»
15 years 3 months ago
Symmetry and Satisfiability: An Update
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
EGC
2009
Springer
15 years 3 months ago
A Bayes Evaluation Criterion for Decision Trees
We present a new evaluation criterion for the induction of decision trees. We exploit a parameter-free Bayesian approach and propose an analytic formula for the evaluation of the p...
Nicolas Voisine, Marc Boullé, Carine Hue
GECCO
2009
Springer
150views Optimization» more  GECCO 2009»
15 years 3 months ago
Parallel shared memory strategies for ant-based optimization algorithms
This paper describes a general scheme to convert sequential ant-based algorithms into parallel shared memory algorithms. The scheme is applied to an ant-based algorithm for the ma...
Thang Nguyen Bui, ThanhVu H. Nguyen, Joseph R. Riz...
INFFUS
2010
104views more  INFFUS 2010»
15 years 3 months ago
A selection approach for scalable fuzzy integral combination
We consider the problem of collective decision-making from an arbitrary set of classifiers under Sugeno fuzzy integral (S-FI). We assume that classifiers are given, i.e., they can...
Pilar Bulacio, Serge Guillaume, Elizabeth Tapia, L...
CEC
2010
IEEE
15 years 2 months ago
Evolved Bayesian Network models of rig operations in the gulf of Mexico
The operation of drilling rigs is highly expensive. It is therefore important to be able to identify and analyse variables affecting rig operations. We investigate the use of Genet...
François A. Fournier, John A. W. McCall, An...