192 search results - page 6 / 39 » Boolean Matching Using Generalized Reed-Muller Forms |
102
click to vote
PODS
2000
ACM
15 years 4 months ago
2000
ACM
In a variety of applications ranging from optimizing queries on alphanumeric attributes to providing approximate counts of documents containing several query terms, there is an in...
106
click to vote
JEI
2000
14 years 11 months ago
2000
The usefulness of the hit-miss transform (HMT) and related transforms for pattern matching in document image applications is examined. Although the HMT is sensitive to the types o...
88
Voted
CSL
2009
Springer
15 years 6 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
110
Voted
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
In a print production system, the ability to match a printed document with its original electronic form enables services that improve robustness of the production process, such as...