617 search results - page 51 / 124 » A unified language processing methodology |
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
124
click to vote
JODS
2008
14 years 9 months ago
2008
Information integration and retrieval are useful tasks in many information systems. In these systems, it is far from an easy task to directly integrate information from natural lan...
IADIS
2004
14 years 11 months ago
2004
The AVICENNA VIRTUAL CAMPUS project, championed by UNESCO, has the aim to accelerate the adoption and use of ICT-assisted Open Distance Learning (ODL) in the Euro-Med region. As a...
119
click to vote
MBEES
2007
14 years 11 months ago
2007
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
CICLING
2007
Springer
15 years 3 months ago
2007
Springer
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...