511 search results - page 52 / 103 » Spelling Correction Using Context |
124
click to vote
DAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a system for automatic FAX routing which processes incoming FAX images and forwards them to the correct email alias. The system first performs optical charact...
155
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
114
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
The incremental, “construct by correction” design methodology has become widespread in constraint-dominated DSM design. We study the problem of ECO for physical design domains...
125
click to vote
IICAI
2007
15 years 7 months ago
2007
Abstract. This paper describes a tool for extracting multi-word number expressions, calculating their numerical values, and then generating them into another language, thus transla...
125
click to vote
COGSCI
2010
15 years 5 months ago
2010
With human language, the same utterance can have different meanings in different contexts. Nevertheless, listeners almost invariably converge upon the correct intended meaning. Th...