6651 search results - page 92 / 1331 » Translating Web Data |
108
click to vote
LREC
2010
15 years 4 months ago
2010
In recent years, corpus based approaches to machine translation have become predominant, with Statistical Machine Translation (SMT) being the most actively progressing area. Succe...
114
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
125
click to vote
NAACL
2004
15 years 4 months ago
2004
We describe a methodology for rapid experimentation in statistical machine translation which we use to add a large number of features to a baseline system exploiting features from...
123
click to vote
NAACL
1994
15 years 4 months ago
1994
Current MT systems, whatever translation method they at present employ, do not reach an optimum output on free text. Our hypothesis for the experiment reported in this paper is th...
114
click to vote
JAR
2008
15 years 3 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...