Sciweavers

2956 search results - page 164 / 592
» Databases and Higher Types
Sort
View
125
Voted
ICFP
2010
ACM
15 years 4 months ago
Regular, shape-polymorphic, parallel arrays in Haskell
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
Gabriele Keller, Manuel M. T. Chakravarty, Roman L...
ICC
2009
IEEE
106views Communications» more  ICC 2009»
15 years 1 months ago
Hybrid ARQ with Rate Adaptation in Multiband OFDM UWB Systems
In this paper, we propose a cross-layer design (CLD) scheme combining rate adaptation and four types of hybrid automatic repeat request (HARQ) for multiband orthogonal frequency di...
Cheng-Xiang Wang, Heung-Gyoon Ryu, Hsiao-Hwa Chen,...
ICMCS
2009
IEEE
126views Multimedia» more  ICMCS 2009»
15 years 29 days ago
Sort-Merge feature selection and fusion methods for classification of unstructured video
We explore the problem of rapid automatic semantic tagging of video frames of unstructured (unedited) videos. We apply the Sort-Merge algorithm for feature selection on a large (&...
Mitchell J. Morris, John R. Kender
CVPR
2000
IEEE
16 years 5 months ago
A Formal Classification of 3D Medial Axis Points and Their Local Geometry
This paper proposes a novel hypergraph skeletal representation for 3D shape based on a formal derivation of the generic structure of its medial axis. By classifying each skeletal ...
Peter J. Giblin, Benjamin B. Kimia
POPL
2011
ACM
14 years 6 months ago
Pick your contexts well: understanding object-sensitivity
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhot...