12265 search results - page 451 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
181
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
169
click to vote
CLA
2007
15 years 8 months ago
2007
Boolean factor analysis aims at decomposing an objects × attributes Boolean matrix I into a Boolean product of an objects × factors Boolean matrix A and a factors × attributes B...
185
click to vote
APBC
2003
15 years 8 months ago
2003
Microarrays allow the monitoring of expressions for tens of thousands of genes simultaneously. Image analysis is an important aspect for microarray experiments that can affect sub...
200
click to vote
PQCRYPTO
2010
15 years 5 months ago
2010
The McEliece public-key cryptosystem is based on the fact that decoding unknown linear binary codes is an NP-complete problem. The interest on implementing post-quantum cryptograph...
160
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Existing Full-wave Model Order Reduction (FMOR) approaches are based on Expanded Taylor Series Approximations (ETAS) of the oscillatory full-wave system matrix. The accuracy of su...