626 search results - page 53 / 126 » When Can Formal Methods Make a Real Difference |
120
Voted
APSEC
1995
IEEE
15 years 7 months ago
1995
IEEE
Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...
113
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: As the number of non-synonymous single nucleotide polymorphisms (nsSNPs), also known as single amino acid polymorphisms (SAPs), increases rapidly, computational method...
105
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...
134
click to vote
JMLR
2010
14 years 10 months ago
2010
A successful class of image denoising methods is based on Bayesian approaches working in wavelet representations. The performance of these methods improves when relations among th...
123
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
Visual surveillance applications such as object identification, object tracking, and anomaly detection require reliable motion detection as an initial processing step. Such a dete...