6800 search results - page 1144 / 1360 » Testing with Functions as Specifications |
GECCO
2008
Springer
13 years 9 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...
GECCO
2008
Springer
13 years 9 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 ...
ICML
2010
IEEE
13 years 9 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...
SIGCOMM
2010
ACM
13 years 8 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...
AMC
2007
13 years 8 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 ...