1996 search results - page 90 / 400 » A decision procedure for linear |
166
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
337
click to vote
ISQED
2002
IEEE
15 years 11 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...
121
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
126
click to vote
MVA
1998
15 years 7 months ago
1998
This paper describes a comparisonof the performance and usability of three Linear Processor Arrays for image processing purposes. The study covered the NEC IMAP-VISION card 1], th...
194
click to vote
IJAIT
2006
15 years 6 months ago
2006
We present an efficient feature selection algorithm for computer aided detection (CAD) computed tomographic (CT) colonography. The algorithm 1) determines an appropriate piecewise...