1268 search results - page 11 / 254 » Direct Translation Model 2 |
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
We propose a method for extracting a gaze region from an observed image by analyzing human's view directions and image information. The view direction of the user, which is r...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
ACL
2009
13 years 5 months ago
2009
Syntactic analysis influences the way in which the source sentence is translated. Previous efforts add syntactic constraints to phrase-based translation by directly rewarding/puni...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
ACL
2012
11 years 10 months ago
2012
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...