We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nucalculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification formalisms are structurally equivalent. To the best of our knowledge, this is the first time such a close relationship between a logical and a ...

Measuring a series of far-field intensity patterns from an object, taken after a transverse translation of the object with respect to a known illumination pattern, has been shown to make the problem of image reconstruction by phase retrieval much more robust. However, previously reported reconstruction algorithms [Phys. Rev. Lett. 93, 023903 (2004)] rely on an accurate knowledge of the translat...

Collocation translation is important for machine translation and many other NLP tasks. Unlike previous methods using bilingual parallel corpora, this paper presents a new method for acquiring collocation translations by making use of monolingual corpora and linguistic knowledge. First, dependency triples are extracted from Chinese and English corpora with dependency parsers. Then, a dependency ...

This paper describes a new method for crosslingual textual entailment (CLTE) detection based on machine translation (MT). We use sub-segment translations from different MT systems available online as a source of crosslingual knowledge. In this work we describe and evaluate different features derived from these sub-segment translations, which are used by a support vector machine classifier to de...