5159 search results - page 925 / 1032 » Structural Testing of Executables |
112
click to vote
AISB
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
119
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
144
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
108
click to vote
BIRD
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Gaussian graphical models are widely used to tackle the important and challenging problem of inferring genetic regulatory networks from expression data. These models have...
105
click to vote
ECIR
2008
Springer
15 years 3 months ago
2008
Springer
Information retrieval is an empirical science; the field cannot move forward unless there are means of evaluating the innovations devised by researchers. However the methodologies...