7840 search results - page 323 / 1568 » On generalized Ramsey numbers |
163
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
Gene libraries have been added to Artificial Immune Systems in analogy to biological immune systems, but to date no careful study of their effect has been made. This work investig...
191
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
176
click to vote
CSL
2004
Springer
16 years 6 days 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,...
200
click to vote
IWPEC
2004
Springer
16 years 5 days ago
2004
Springer
We propose to look at the computational complexity of 2-dimensional geometric optimization problems on a finite point set with respect to the number of inner points (that is, poi...
205
click to vote
KDD
2004
ACM
16 years 5 days ago
2004
ACM
Mark-recapture models have for many years been used to estimate the unknown sizes of animal and bird populations. In this article we adapt a finite mixture mark-recapture model i...