3779 search results - page 73 / 756 » Linear Consistency Testing |
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a homomorphous mapping that converts problems with linear equality constraints into fully unconstrained and lower-dimensional problems for optimization with PSO. This ap...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
LREC
2008
14 years 11 months ago
2008
The Spoken Document Processing Working Group, which is part of the special interest group of spoken language processing of the Information Processing Society of Japan, is developi...
105
click to vote
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose a classification method based on a decision tree whose nodes consist of linear Support Vector Machines (SVMs). Each node defines a decision hyperplane that classifies p...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
Stability properties for continuous-time linear switched systems are at first determined by the (largest) Lyapunov exponent associated with the system, which is the analogous of t...