Sciweavers

3645 search results - page 11 / 729
» Implementing mapping composition
Sort
View
ENTCS
2002
134views more  ENTCS 2002»
13 years 7 months ago
Implementing Compositional Analysis Using Intersection Types With Expansion Variables
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...
Assaf J. Kfoury, Geoffrey Washburn, Joe Wells
ECCV
2004
Springer
14 years 9 months ago
Multiscale Inverse Compositional Alignment for Subdivision Surface Maps
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...
Igor Guskov
COLCOM
2007
IEEE
14 years 2 months ago
Secure scripting based composite application development: Framework, architecture, and implementation
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
Tom Dinkelaker, Alisdair Johnstone, Yücel Kar...
ICIAP
2009
ACM
14 years 6 months ago
Fuzzy Smoothed Composition of Local Mapping Transformations for Non-rigid Image Registration
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...
Edoardo Ardizzone, Orazio Gambino, Roberto Gallea,...
POPL
2006
ACM
14 years 8 months ago
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions
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...
Reuben Olinsky, Christian Lindig, Norman Ramsey