257 search results - page 37 / 52 » Automatic red-eye detection and correction |
BMCBI
2011
13 years 2 months ago
2011
Background: Relative isotope abundance quantification, which can be used for peptide identification and differential peptide quantification, plays an important role in liquid chro...
ICST
2011
IEEE
12 years 11 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
AAAI
1996
13 years 9 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...