2302 search results - page 136 / 461 » Testing as Abstraction |
205
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
149
click to vote
WLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
159
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract- The Maximum Homologous Crossover attempts to preserve similar structures from parents by aligning them according to their homology. In this paper, it is successfully test...
171
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes a system for pedestrian detection in infrared images implemented and tested on an experimental vehicle. A specific stabilization procedure is applie...
170
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Particle swarm optimization (PSO) is a new evolutionary computation technique. Although PSO algorithm possesses many attractive properties, the methods of selecting inert...