Sciweavers

1383 search results - page 108 / 277
» The Convergence of Iterated Classification
Sort
View
CEC
2005
IEEE
15 years 6 months ago
Constraint quadratic approximation operator for treating equality constraints with genetic algorithms
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
Elizabeth F. Wanner, Frederico G. Guimarães...
CRV
2005
IEEE
201views Robotics» more  CRV 2005»
15 years 6 months ago
Minimum Bayes Error Features for Visual Recognition by Sequential Feature Selection and Extraction
The extraction of optimal features, in a classification sense, is still quite challenging in the context of large-scale classification problems (such as visual recognition), inv...
Gustavo Carneiro, Nuno Vasconcelos
114
Voted
KBSE
2005
IEEE
15 years 6 months ago
Learning to verify branching time properties
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
Abhay Vardhan, Mahesh Viswanathan
109
Voted
ICALP
2004
Springer
15 years 6 months ago
A Domain Theoretic Account of Picard's Theorem
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
Abbas Edalat, Dirk Pattinson
ICANN
2003
Springer
15 years 6 months ago
Dimension Reduction Based on Orthogonality - A Decorrelation Method in ICA
In independent component analysis problems, when we use a one-unit objective function to iteratively estimate several independent components, the uncorrelatedness between the indep...
Kun Zhang, Lai-Wan Chan