2629 search results - page 168 / 526 » complex 2009 |
114
Voted
TACAS
2009
Springer
15 years 10 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...
135
Voted
CCGRID
2009
IEEE
15 years 10 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...
125
Voted
CEC
2009
IEEE
15 years 10 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...
106
Voted
CEC
2009
IEEE
15 years 10 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...
115
Voted
CEC
2009
IEEE
15 years 10 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...