34 search results - page 2 / 7 » Translation Templates to Support Strategy Development in PVS |
NFM
2011
13 years 14 days ago
2011
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
LREC
2010
13 years 7 months ago
2010
The development of technologies to address machine translation and distillation of multilingual broadcast data depends heavily on the collection of large volumes of material from ...
FM
2006
Springer
13 years 9 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...
EMNLP
2010
13 years 3 months ago
2010
Production of parallel training corpora for the development of statistical machine translation (SMT) systems for resource-poor languages usually requires extensive manual effort. ...
ISCI
1998
13 years 5 months ago
1998
F TP (Fuzzy Template Predicate) is proposed as a template to incorporate concept-based match into fuzzy production languages. A thesaurus augmented in F TP supports the conceptbas...