Sciweavers

2 search results - page 1 / 1
» Rigorous Development of Automated Inconsistency Checks for D...
Sort
View
IJDE
2007
105views more  IJDE 2007»
13 years 4 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
BMCBI
2007
129views more  BMCBI 2007»
13 years 4 months ago
Exploring inconsistencies in genome-wide protein function annotations: a machine learning approach
Background: Incorrectly annotated sequence data are becoming more commonplace as databases increasingly rely on automated techniques for annotation. Hence, there is an urgent need...
Carson M. Andorf, Drena Dobbs, Vasant Honavar