581 search results - page 42 / 117 » Translating dependency into parametricity |
ANLP
1997
13 years 11 months ago
1997
We present the dialogue module of the speech-to-speech translation system VERBMOBIL. We follow the approach that the solution to dialogue processing in a mediating scenario can no...
COLING
2002
13 years 9 months ago
2002
This paper proposes a learning and extracting method of word sequence correspondences from non-aligned parallel corpora with Support Vector Machines, which have high ability of th...
CASES
2004
ACM
14 years 3 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
The standard morphological operators are (i) defined on Euclidean space, (ii) based on structuring elements, and (iii) invariant with respect to translation. There are several way...