3166 search results - page 114 / 634 » Translation By Structural Correspondences |
108
Voted
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
106
Voted
AIME
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...
ACL
2007
15 years 2 months ago
2007
This paper presents a Function Word centered, Syntax-based (FWS) solution to address phrase ordering in the context of statistical machine translation (SMT). Motivated by the obse...
109
click to vote
LREC
2010
15 years 2 months ago
2010
The paper presents an approach for constructing a weighted bilingual dictionary of inflectional forms using as input data a traditional bilingual dictionary, and not parallel corp...
FORTE
1989
15 years 1 months ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...