2131 search results - page 103 / 427 » Immunity for Closed Sets |
164
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
151
click to vote
TARK
2007
Springer
16 years 12 days ago
2007
Springer
This paper considers the robustness of equilibria to a small amount of incomplete information, where players are allowed to have heterogenous priors. An equilibrium of a complete ...
186
click to vote
WAOA
2005
Springer
15 years 11 months ago
2005
Springer
A cycle cover of a graph is a set of cycles such that every vertex is part of exactly one cycle. An L-cycle cover is a cycle cover in which the length of every cycle is in the set...
139
click to vote
ESA
2004
Springer
15 years 11 months ago
2004
Springer
We consider a scenario where stops are to be placed along an already existing public transportation network in order to improve its attractiveness for the customers. The core probl...
143
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
We identify classes of functions for which a No Free Lunch result does and does not hold, with particular emphasis on the relationship between No Free Lunch and problem description...