This paper investigates the combination of word-alignments computed with the competitive linking algorithm and well-established IBM models. New training methods for phrase-based st...
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
Surface pasting is a hierarchical modeling technique capable of adding local details to tensor product Bspline surfaces without incurring significant computational costs. In this...
The spine of an object is an entity that can characterise the object’s topology and describes the object by a lower dimension. It has an intuitive appeal for supporting geometric...
We study the convergence behavior of the Active Mask (AM) framework, originally designed for segmenting punctate image patterns. AM combines the flexibility of traditional active...
Doru-Cristian Balcan, Gowri Srinivasa, Matthew C. ...