Sciweavers

511 search results - page 70 / 103
» Spelling Correction Using Context
Sort
View
GREC
2003
Springer
15 years 5 months ago
Resolving Ambiguities in Toponym Recognition in Cartographic Maps
To date many methods and programs for automatic text recognition exist. However there are no effective text recognition systems for graphic documents. Graphic documents usually con...
Alexander F. Gelbukh, Serguei Levachkine, Sang-Yon...
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
15 years 5 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
92
Voted
CSCW
2000
ACM
15 years 4 months ago
Evolution of Contact Point: a case study of a help desk and its users
This paper describes the evolution of a concept, Contact Point, the research process through which it evolved, and the work context and practices which drove its evolution. Contac...
Lena Mamykina, Catherine G. Wolf
PLDI
2000
ACM
15 years 4 months ago
Translation validation for an optimizing compiler
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
George C. Necula
HPDC
1998
IEEE
15 years 4 months ago
A Fault Detection Service for Wide Area Distributed Computations
The potential for faults in distributed computing systems is a significant complicating factor for application developers. While a variety of techniques exist for detecting and co...
Paul Stelling, Ian T. Foster, Carl Kesselman, Crai...