2620 search results - page 342 / 524 » An Evaluation Technique for Binarization Algorithms |
222
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
195
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Online detection of video clips that present previously unseen events in a video stream is still an open challenge to date. For this online new event detection (ONED) task, existi...
147
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Classifying nuclear magnetic resonance (NMR) spectra is a crucial step in many metabolomics experiments. Since several multivariate classification techniques depend up...
155
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: There are currently a number of competing techniques for low-level processing of oligonucleotide array data. The choice of technique has a profound effect on subsequen...
205
click to vote
TSE
2008
15 years 6 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...