12265 search results - page 242 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
182
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
172
click to vote
SIAMJO
2008
15 years 5 months ago
2008
A class of trust-region algorithms is developed and analyzed for the solution of minimization problems with nonlinear inequality constraints. Based on composite-step trust region ...
150
click to vote
ISCAS
2008
IEEE
16 years 29 days ago
2008
IEEE
— Many source separation algorithms fail to deliver robust performance in presence of artifacts introduced by cross-channel redundancy, non-homogeneous mixing and highdimensional...
142
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
Various timing-based mutualexclusion algorithms have been proposed that guarantee mutual exclusion if certain timing assumptions hold. In this paper, we examine how these algorith...
205
click to vote
SBBD
2008
15 years 8 months ago
2008
Abstract Data mining algorithms have been recently applied to software repositories to help on the maintenance of evolving software systems. In the past, information about what cla...