1216 search results - page 52 / 244 » Translation analysis and translation automation |
DLOG
2003
13 years 9 months ago
2003
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
CSL
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
CSL
2004
Springer
13 years 8 months ago
2004
Springer
This paper describes the Mandarin
ICDAR
2011
IEEE
12 years 8 months ago
2011
IEEE
—A shape descriptor combining the histogram of the Radon transform, the logarithmic-scale histogram, and the phase-only correlation function is proposed. Applying a logarithmic-s...