1142 search results - page 29 / 229 » Set Variables and Local Search |
EVOW
2008
Springer
13 years 11 months ago
2008
Springer
The military radio stations with frequency hopping propose new problems of frequency assignment which must take into account the size of the deployment, the limited resources and a...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
The stable marriage problem (SM) has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more general...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Subthreshold-seeking behavior occurs when the majority of the points that an algorithm samples have an evaluation less than some target threshold. We characterize sets of functions...
ESOP
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
ATVA
2004
Springer
14 years 3 months ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...