7840 search results - page 324 / 1568 » On generalized Ramsey numbers |
161
Voted
SAT
2004
Springer
16 years 5 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...
165
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...
148
click to vote
CCS
2003
ACM
16 years 1 days ago
2003
ACM
Web-based vulnerabilities represent a substantial portion of the security exposures of computer networks. In order to detect known web-based attacks, misuse detection systems are ...
275
click to vote
PODS
2010
ACM
15 years 12 months ago
2010
ACM
Cardinality estimation is the problem of estimating the number of tuples returned by a query; it is a fundamentally important task in data management, used in query optimization, ...
199
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
Network emulation systems are widely used to explore the behavior of network protocols and to test and evaluate protocol implementations and applications. The major problem of net...