6800 search results - page 1144 / 1360 » Testing with Functions as Specifications |
221
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
215
Voted
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
We propose the use of rough sets theory to improve the first approximation provided by a multi-objective evolutionary algorithm and retain the nondominated solutions using a new ...
222
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
We develop a semi-supervised learning method that constrains the posterior distribution of latent variables under a generative model to satisfy a rich set of feature expectation c...
181
Voted
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Data centers are a major consumer of electricity and a significant fraction of their energy use is devoted to cooling the data center. Recent prototype deployments have investigat...
188
Voted
AMC
2007
15 years 7 months ago
2007
Many scientific and engineering applications require optimization methods to find more than one solution to multimodal optimization problems. This paper presents a new particle ...