12264 search results - page 235 / 2453 » An Analysis of the XSL Algorithm |
152
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...
180
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...
155
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...
204
click to vote
LION
2007
Springer
16 years 21 days ago
2007
Springer
The importance of tuning a search algorithm for the specific features of the target search space has been known for quite some time. However, when dealing with multiobjective prob...