2302 search results - page 136 / 461 » Testing as Abstraction |
220
Voted
RSCTC
2004
Springer
16 years 9 days 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...
159
click to vote
WLP
2004
Springer
16 years 9 days 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 ...
174
click to vote
CEC
2003
IEEE
16 years 7 days 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...
178
click to vote
DAGM
2003
Springer
16 years 5 days 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...
189
click to vote
GECCO
2003
Springer
16 years 5 days 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...