891 search results - page 91 / 179 » Full Abstraction for PCF |
137
Voted
MICCAI
2009
Springer
16 years 2 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 ...
164
click to vote
CC
2010
Springer
16 years 11 days 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...
135
click to vote
FLOPS
2010
Springer
16 years 11 days 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...
138
click to vote
DATE
2009
IEEE
16 years 9 days 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...
185
Voted
GLOBECOM
2009
IEEE
16 years 9 days 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...