5331 search results - page 916 / 1067 » Algebraic Methods for Optimization Problems |
122
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
COLT
2007
Springer
15 years 8 months ago
2007
Springer
The standard so-called experts algorithms are methods for utilizing a given set of “experts” to make good choices in a sequential decision-making problem. In the standard setti...
121
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
A significant problem for evolving artificial neural networks is that the physical arrangement of sensors and effectors is invisible to the evolutionary algorithm. For example,...
113
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
—Flooding is one of the most fundamental operations in mobile ad hoc networks. Traditional implementation of flooding suffers from the problems of excessive redundancy of message...
109
Voted
SAC
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, a new gene based adaptive mutation scheme is proposed for genetic algorithms (GAs), where the information on gene based fitness statistics and on gene based allele...