2629 search results - page 168 / 526 » complex 2009 |
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
111
click to vote
CCGRID
2009
IEEE
15 years 7 months ago
2009
IEEE
—The ever increasing scale and complexity of large computational systems ask for sophisticated management tools, paving the way toward Autonomic Computing. A first step toward A...
103
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Regulatory networks are complex networks. This paper addresses the challenge of modelling these networks. The Boolean representation is chosen and supported as a representation...
87
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— A combination of backpropagation and neuroevolution is used to train a neural network visual controller for agents in the Quake II environment. The agents must learn to...
89
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— This paper proposes an multi-objective evolutionary algorithm. The algorithm is based on OMOEA-II[2]. A new linear breeding operator with lower-dimensional crossover an...