A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
Abstract. We propose an efficient alignment method for textured DooSabin subdivision surface templates. A variation of the inverse compositional image alignment is derived by intro...
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
This paper presents a novel method for medical image registration.
The global transformation is obtained by composing affine transformations,
which are recovered locally from giv...
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...