We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...
We present in this paper a system which automatically
builds, from real images, a scene model containing both
3D geometric information of the scene structure and its
photometric...
Object localization is a challenging problem due to variations in object’s structure and illumination. Although existing part based models have achieved impressive progress in t...
This paper introduces an approach for graphically visualizing the affective structure of a text document. A document is first affectively analyzed using a unique textual affect se...
We propose a new form of software transactional memory (STM) designed to support dynamic-sized data structures, and we describe a novel non-blocking implementation. The non-blocki...
Maurice Herlihy, Victor Luchangco, Mark Moir, Will...