36781 search results - page 9 / 7357 » Parameterizing by the Number of Numbers |
COMBINATORICS
2000
14 years 9 months ago
2000
JGT
2010
14 years 8 months ago
2010
: We consider a problem related to Hadwiger’s Conjecture. Let
CSL
2004
Springer
15 years 3 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We consider approximating the minmax value of a multiplayer game in strategic form. Tightening recent bounds by Borgs et al., we observe that approximating the value with...