4276 search results - page 35 / 856 » Techniques for Empirical Validation |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
This paper analyzes the behavior of a selectorecombinative genetic algorithm (GA) with an ideal crossover on a class of random additively decomposable problems (rADPs). Specifical...
MICCAI
2004
Springer
14 years 1 months ago
2004
Springer
Mutual information has become a popular similarity measure in multi-modality medical image registration since it was first applied to the problem in 1995. This paper describes a m...
ICEISSAM
2004
13 years 9 months ago
2004
Due to the different nature of the available dynamic interactions between components afforded by some middleware infrastructure, distributed information systems (DIS) behave differ...
PTS
2000
13 years 9 months ago
2000
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
ASM
2010
ASM
14 years 4 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...