6615 search results - page 37 / 1323 » Indexing Multiple Sets |
MLQ
2007
14 years 11 months ago
2007
DAGSTUHL
2001
15 years 1 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
JCST
2006
14 years 11 months ago
2006
This paper describes efficient data structures, namely the Indexed P-tree, Block P-tree, and Indexed-Block P-tree (or IP-tree, BP-tree, and IBP-tree, respectively, for short), for...
102
click to vote
CSE
2009
IEEE
15 years 3 months ago
2009
IEEE
Sparse Matrix-Vector multiplication (SpMV) is a very challenging computational kernel, since its performance depends greatly on both the input matrix and the underlying architectur...
106
click to vote
PR
2008
14 years 11 months ago
2008
We present a unified feature representation of 2.5D pointclouds and apply it to face recognition. The representation integrates local and global geometrical cues in a single compa...