In this paper we describe a framework for research into translation that draws on a combination of two existing and independently constructed technologies: an analysis component d...
We present PEM, the first fully automatic metric to evaluate the quality of paraphrases, and consequently, that of paraphrase generation systems. Our metric is based on three crit...
We propose an object-oriented framework for one of the most frequent and costly operations in parallel database systems: the parallel join. The framework independently captures a ...
A lot of software infrastructures for distributed device ensembles with quite different approaches have been developed in the past. This article describes the need of a reference a...
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...