12265 search results - page 440 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
175
click to vote
TACAS
2005
Springer
16 years 10 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
176
Voted
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper looks at the nonparametric, multiscale, Markov Random Field (MRF) model and its application in classifying the MeasTex Test Suite. The MeasTex Test Suite is a standard ...
192
click to vote
IDA
1999
Springer
15 years 11 months ago
1999
Springer
A method for the linear discrimination of two classes has been proposed by us in 3 . It searches for the discriminant direction which maximizes the distance between the projected c...
159
click to vote
INFOCOM
1996
IEEE
15 years 11 months ago
1996
IEEE
Rate based congestion management for computer communication networks has been the focus of considerable research recently. Dierent variants to the end-to-end rate based algorithm ...
190
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executa...