6800 search results - page 596 / 1360 » Testing with Functions as Specifications |
152
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper presents an individual evolutionary strategy devised for image analysis applications. The example problem chosen is obstacle detection using a pair of cameras. The algo...
185
click to vote
KDD
2009
ACM
16 years 8 months ago
2009
ACM
Given a spatial data set placed on an n ? n grid, our goal is to find the rectangular regions within which subsets of the data set exhibit anomalous behavior. We develop algorithm...
181
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Functional decomposition is a process of splitting a complex circuit into smaller sub-circuits. This paper deals with the problem of determining the set of best free and bound var...
319
click to vote
ICIAP
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents a novel method for medical image registration.
The global transformation is obtained by composing affine transformations,
which are recovered locally from giv...
195
click to vote
CEC
2009
IEEE
16 years 2 months ago
2009
IEEE
— This paper presents Differential Evolution with Self-adaptation and Local Search for Constrained Multiobjective Optimization algorithm (DECMOSA-SQP), which uses the self-adapta...