471 search results - page 15 / 95 » Modals As A Problem For MT |
ACL
2010
14 years 7 months ago
2010
We illustrate and explain problems of n-grams-based machine translation (MT) metrics (e.g. BLEU) when applied to morphologically rich languages such as Czech. A novel metric SemPO...
TIME
2009
IEEE
15 years 4 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Functional brain imaging is a source of spatio-temporal data mining problems. A new framework hybridizing multi-objective and multimodal optimization is proposed to formalize these...
LICS
1994
IEEE
15 years 1 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
ISBI
2009
IEEE
15 years 4 months ago
2009
IEEE
We address the difficult problem of segmenting the inflamed synovial tissue in multi-modal 3D MR sequences of the wrist. The complex morphology of the structures to segment, the...