16725 search results - page 2677 / 3345 » Engineering Software Correctness |
256
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
218
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Receiver operating characteristic (ROC) curves are useful tools to evaluate classifiers in biomedical and bioinformatics applications. However, conclusions are often r...
196
click to vote
MICRO
2011
IEEE
14 years 11 months ago
2011
IEEE
Abstract—Parameter variations have become a dominant challenge in microprocessor design. Voltage variation is especially daunting because it happens so rapidly. We measure and ch...
198
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
194
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
TYPERIGHT is a new tactile input device for text entry. It combines the advantages of tactile feedback with error prevention methods of word processors. TYPERIGHT extends the stan...