Sciweavers

649 search results - page 113 / 130
» Some Methods of Replacing the Nearest Neighbor Method
Sort
View
GFKL
2007
Springer
139views Data Mining» more  GFKL 2007»
14 years 1 months ago
The Noise Component in Model-based Cluster Analysis
The so-called noise-component has been introduced by Banfield and Raftery (1993) to improve the robustness of cluster analysis based on the normal mixture model. The idea is to ad...
Christian Hennig, Pietro Coretto
CAV
1999
Springer
125views Hardware» more  CAV 1999»
13 years 11 months ago
Model Checking of Safety Properties
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
Orna Kupferman, Moshe Y. Vardi
IWANN
1999
Springer
13 years 11 months ago
Support Vector Machines for Multi-class Classification
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
Eddy Mayoraz, Ethem Alpaydin
BIRTHDAY
2006
Springer
13 years 11 months ago
Reductio ad Absurdum: Planning Proofs by Contradiction
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
Erica Melis, Martin Pollet, Jörg H. Siekmann
GECCO
2006
Springer
205views Optimization» more  GECCO 2006»
13 years 11 months ago
Alternative evolutionary algorithms for evolving programs: evolution strategies and steady state GP
In contrast with the diverse array of genetic algorithms, the Genetic Programming (GP) paradigm is usually applied in a relatively uniform manner. Heuristics have developed over t...
L. Darrell Whitley, Marc D. Richards, J. Ross Beve...