12265 search results - page 440 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
195
click to vote
TACAS
2005
Springer
16 years 1 months 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...
198
Voted
ICPR
2000
IEEE
16 years 3 days 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 ...
212
Voted
IDA
1999
Springer
15 years 12 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...
183
Voted
INFOCOM
1996
IEEE
15 years 12 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 ...
218
Voted
CC
2008
Springer
15 years 9 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...