9787 search results - page 255 / 1958 » A Utile Function Optimizer |
175
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Modern vehicles possess an increasing number of software and hardware components that are integrated in electronic control units (ECUs). Finding an optimal allocation for all comp...
181
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
The original mechanism by which evolutionary algorithms were to solve problems was to allow for the gradual discovery of sub-solutions to sub-problems, and the automated combinati...
177
click to vote
APIN
2005
15 years 5 months ago
2005
Credit analysts generally assess the risk of credit applications based on their previous experience. They frequently employ quantitative methods to this end. Among the methods used...
161
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...