12265 search results - page 277 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
132
click to vote
ICCL
1992
IEEE
15 years 10 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
153
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
178
click to vote
PAMI
2006
15 years 6 months ago
2006
A fast AAM search algorithm based on canonical correlation analysis (CCA-AAM) is introduced. It efficiently models the dependency between texture residuals and model parameters dur...
185
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
158
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In cast-shadow analysis one merely draws a line between each occluder and its associated shadow cast onto a different surface, possibly with wedges indicating precision. In some c...