1420 search results - page 80 / 284 » Multi-point Constructive Search |
139
Voted
CADE
2002
Springer
16 years 4 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
143
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We consider the problem of efficiently sampling Web search engine query results. In turn, using a small random sample instead of the full set of results leads to efficient approxi...
195
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
115
click to vote
MVA
1994
15 years 5 months ago
1994
The designs that have been stored in early days are often used as a reference when textile designs are created. To effectively use these resources, a wellequipped design database ...
144
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Many Web sites support keyword search on their spatial data, such as business listings and photos. In these systems, inconsistencies and errors can exist in both queries and the d...