986 search results - page 162 / 198 » Generalized Goal Programming: polynomial methods and applica... |
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
107
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
ACMACE
2007
ACM
15 years 3 months ago
2007
ACM
We present a system that allows users of any skill to conduct a virtual orchestra. Tempo and volume of the orchestra's performance are influenced with a baton. Pinocchio work...
100
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Recursive Feature Elimination is a common and well-studied method for reducing the number of attributes used for further analysis or development of prediction models. ...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...