9507 search results - page 283 / 1902 » Time-based language models |
165
click to vote
SPIN
2012
Springer
13 years 7 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
148
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present an empirical study that utilizes morph-syntactical information to improve translation quality. With three kinds of language pairs matched according to mor...
135
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...
123
Voted
UML
2001
Springer
15 years 9 months ago
2001
Springer
: This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different mo...
142
Voted
EMNLP
2010
15 years 2 months ago
2010
A word in one language can be translated to zero, one, or several words in other languages. Using word fertility features has been shown to be useful in building word alignment mo...