3335 search results - page 82 / 667 » Grid result checking |
107
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-fo...
ITCC
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents a method to locate and extract Brazilian bank check logos automatically by employing mathematical morphology. The objective is to minimize the number of heuris...
ACL
1993
15 years 1 months ago
1993
We describe a method for evaluating a grammar checking application with hand-bracketed parses. A randomly-selected set of sentences was submitted to a grammar checker in both brac...
DFT
2005
IEEE
15 years 5 months ago
2005
IEEE
The present paper proposes a new method for detecting arbitrary faults in a functional circuit when the set of codewords is limited and known in advance. The method is based on im...
196
click to vote
ISQED
2002
IEEE
15 years 4 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...