891 search results - page 91 / 179 » Full Abstraction for PCF |
MICCAI
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Here we introduce multivariate tensor-based surface morphometry using holomorphic one-forms to study brain anatomy. We computed new statistics from the Riemannian metric ...
CC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Convergence of communication, consumer applications and computing within mobile systems pushes memory requirements both in terms of size, bandwidth and power consumption...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— We propose an intercell downlink orthogonal frequency division multiple access (OFDMA) scheduling technique in a sectorized cellular network. Adjacent sectors from neig...