3166 search results - page 40 / 634 » Translation By Structural Correspondences |
88
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
A concept is proposed to extend authorised translations of documents to electronically signed, digital documents. Central element of the solution is an electronic seal, embodied a...
97
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
100
Voted
RTA
2005
Springer
15 years 6 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
102
click to vote
CORR
1998
Springer
15 years 6 days ago
1998
Springer
A model of co-occurrence in bitext is a boolean predicate that indicates whether a given pair of word tokens co-occur in corresponding regions of the bitext space. Co-occurrence i...
87
Voted
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
Despite continuing advances in machine translation technology, users who lack familiarity with particular foreign languages have no good way to find information in those languages...