7796 search results - page 318 / 1560 » On Generalized Schur Numbers |
173
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,...
199
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...
203
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...
161
Voted
SAT
2004
Springer
16 years 4 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
164
click to vote
3DIM
2003
IEEE
16 years 3 days ago
2003
IEEE
In order to create a complete three-dimensional model of an object based on its two-dimensional images, the images have to be acquired from different views. An increasing number o...