Sciweavers

21319 search results - page 3667 / 4264
» An Approach for Method Reengineering
Sort
View
CEC
2007
IEEE
15 years 11 months ago
Gene selection in cancer classification using PSO/SVM and GA/SVM hybrid algorithms
In this work we compare the use of a Particle Swarm Optimization (PSO) and a Genetic Algorithm (GA) (both augmented with Support Vector Machines SVM) for the classification of high...
Enrique Alba, José García-Nieto, Lae...
CEC
2007
IEEE
15 years 11 months ago
Solving, rating and generating Sudoku puzzles with GA
This paper studies the problems involved in solving, rating and generating Sudoku puzzles with genetic algorithms (GA). Sudoku is a number puzzle that has recently become a worldwi...
Timo Mantere, Janne Koljonen
ACIVS
2007
Springer
15 years 11 months ago
Joint Domain-Range Modeling of Dynamic Scenes with Adaptive Kernel Bandwidth
Abstract. The first step in various computer vision applications is a detection of moving objects. The prevalent pixel-wise models regard image pixels as independent random process...
Borislav Antic, Vladimir S. Crnojevic
COCO
2007
Springer
111views Algorithms» more  COCO 2007»
15 years 11 months ago
Efficient Arguments without Short PCPs
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky
CAV
2010
Springer
154views Hardware» more  CAV 2010»
15 years 11 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
« Prev « First page 3667 / 4264 Last » Next »