2374 search results - page 13 / 475 » Automatic Generation of Model Translations |
FM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
COLING
2002
13 years 9 months ago
2002
DEXA
2003
Springer
14 years 3 months ago
2003
Springer
: We demonstrate an approach to transform keyword queries automatically into queries that combine keywords appropriately by boolean operations, such as and and or. Our approach is ...
EMNLP
2004
13 years 11 months ago
2004
We apply statistical machine translation (SMT) tools to generate novel paraphrases of input sentences in the same language. The system is trained on large volumes of sentence pair...
ICST
2010
IEEE
13 years 8 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...