The normal method for representing anaphoric dependencies in Unification Based grammar tbrmalisms is that of re-entrance. In this paper, we address the problems that this represen...
A method to correspond linear structures in mammographic images is presented. Our approach is based on automatically establishing correspondence between linear structures which ap...
Robert Marti, Reyer Zwiggelaar, Caroline M. E. Rub...
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
Abstract. A novel method to obtain correspondence between landmarks when comparing pairs of mammographic images from the same patient is presented. Our approach is based on automat...
Robert Marti, Reyer Zwiggelaar, Caroline M. E. Rub...
We augment a model of translation based on re-ordering nodes in syntactic trees in order to allow alignments not conforming to the original tree structure, while keeping computati...