9 search results - page 2 / 2 » Gift-Wrapping Based Preimage Computation Algorithm |
ICML
2005
IEEE
14 years 6 months ago
2005
IEEE
The problem of learning a transduction, that is a string-to-string mapping, is a common problem arising in natural language processing and computational biology. Previous methods ...
BIRTHDAY
2009
Springer
14 years 3 days ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
FSE
2011
Springer
12 years 8 months ago
2011
Springer
Hamsi is one of the 14 second-stage candidates in NIST’s SHA-3 competition. The only previous attack on this hash function was a very marginal attack on its 256-bit version publi...
ASPDAC
2007
ACM
13 years 9 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...