Sciweavers

1466 search results - page 69 / 294
» Completeness of the Authentication Tests
Sort
View
ICPR
2000
IEEE
14 years 20 days ago
Nonparametric Markov Random Field Model Analysis of the MeasTex Test Suite
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 ...
Rupert Paget, I. Dennis Longstaff
HIS
2004
13 years 9 months ago
GAP Test: A Cognitive Evaluation Procedure for Shape Descriptors
With inspiration from psychophysical researches of the human visual system we propose a novel method for performance evaluation of contour based shape recognition algorithms. We u...
Anarta Ghosh, Nicolai Petkov
ICTAC
2010
Springer
13 years 6 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
LICS
2008
IEEE
14 years 2 months ago
Nonlocal Flow of Control and Kleene Algebra with Tests
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
Dexter Kozen
TRIDENTCOM
2008
IEEE
14 years 2 months ago
A case study in testing a network security algorithm
Several difficulties arise when testing network security algorithms. First, using network data captured at a router does not guarantee that any instances of the security event of...
Carrie Gates