511 search results - page 38 / 103 » Spelling Correction Using Context |
123
Voted
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
86
Voted
ENTCS
2002
15 years 12 days ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
TSD
2005
Springer
15 years 6 months ago
2005
Springer
In this paper a new rule-based approach to break assignment for the Russian language is discussed. It is a flexible and robust method of segmentation of texts in Russian in prosod...
98
Voted
ICMI
2000
Springer
15 years 4 months ago
2000
Springer
A system is proposed to recognize handwritten numerals in both Devnagri (Hindi) and English. It is assumed at a time the numerals will be of one of the above two scripts and there...
93
Voted
ACL
1998
15 years 2 months ago
1998
One of the major problems when translating from Japanese into a European language such as German or English is to determine definiteness of noun phrases in order to choose the cor...