2944 search results - page 17 / 589 » On Well Quasi-orders on Languages |
LREC
2008
13 years 10 months ago
2008
Language resources and tools to create and process these resources are necessary components in human language technology and natural language applications. In this paper, we descr...
JUCS
2002
13 years 8 months ago
2002
: By introducing a new operation, the exponentiation of formal languages, we can define Heyting algebras of formal languages. It turns out that some well known families of language...
COLING
2010
13 years 3 months ago
2010
Syntax based reordering has been shown to be an effective way of handling word order differences between source and target languages in Statistical Machine Translation (SMT) syste...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
ESOP
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...