27119 search results - page 436 / 5424 » Languages |
140
click to vote
COLING
1996
15 years 8 months ago
1996
In this paper, I discuss machine translation of English text into a relatively "free" word order language, specifically Turkish. I present algorithms that use contextual...
181
click to vote
SCM
1996
15 years 8 months ago
1996
This paper reports on some practical work undertaken to assess the use of a formalised configuration language to support industrial system development and evolution. The language a...
176
click to vote
CNL
2009
15 years 8 months ago
2009
Controlled natural languages (CNL) and computational semantics in general do not address word sense disambiguation, i.e., they tend to interpret only some functional words that are...
220
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
149
click to vote
IPL
2008
15 years 6 months ago
2008
Quasi-reversible automata is a suitable representation for reversible languages. In this work a method is proposed to obtain such an automaton for any given reversible language re...