Sciweavers

3645 search results - page 11 / 729
» Implementing mapping composition
Sort
View
113
Voted
ENTCS
2002
134views more  ENTCS 2002»
14 years 9 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
15 years 11 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
15 years 4 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...
162
Voted
ICIAP
2009
ACM
15 years 8 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
15 years 10 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