9110 search results - page 1744 / 1822 » Formally-Based Design Evaluation |
ICDAR
1997
IEEE
14 years 2 months ago
1997
IEEE
ABSTRACT: OCR is an error-prone process. It is time-consuming and expensive to manually proofread OCR results. The errors remaining in OCRed texts can cause serious problems in rea...
PVM
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...
VISUALIZATION
1997
IEEE
14 years 2 months ago
1997
IEEE
Volume rendering is a valuable and important technique for scientific visualization. One well known application area is the reconstruction and visualization of output from medica...
CHI
1997
ACM
14 years 2 months ago
1997
ACM
A novel input device called the Rockin’Mouse is described and evaluated. The Rockin’Mouse is a four degree-of-freedom input device that has the same shape as a regular mouse e...
SIGMOD
1997
ACM
14 years 2 months ago
1997
ACM
Most similarity search techniques map the data objects into some high-dimensional feature space. The similarity search then corresponds to a nearest-neighbor search in the feature...