Sciweavers

210 search results - page 23 / 42
» Uniform regular enumerations
Sort
View
3DIM
2001
IEEE
14 years 5 days ago
Efficient Variants of the ICP Algorithm
The ICP (Iterative Closest Point) algorithm is widely used for geometric alignment of three-dimensional models when an initial estimate of the relative pose is known. Many variant...
Szymon Rusinkiewicz, Marc Levoy
SC
2009
ACM
14 years 3 months ago
Implementing sparse matrix-vector multiplication on throughput-oriented processors
Sparse matrix-vector multiplication (SpMV) is of singular importance in sparse linear algebra. In contrast to the uniform regularity of dense linear algebra, sparse operations enc...
Nathan Bell, Michael Garland
VLDB
2005
ACM
175views Database» more  VLDB 2005»
14 years 2 months ago
Query Translation from XPath to SQL in the Presence of Recursive DTDs
The interaction between recursion in XPATH and recursion in DTDs makes it challenging to answer XPATH queries on XML data that is stored in an RDBMS via schema-based shredding. We...
Wenfei Fan, Jeffrey Xu Yu, Hongjun Lu, Jianhua Lu,...
CORR
2007
Springer
138views Education» more  CORR 2007»
13 years 8 months ago
Algebraic Distributed Space-Time Codes with Low ML Decoding Complexity
— ”Extended Clifford algebras” are introduced as a means to obtain low ML decoding complexity space-time block codes. Using left regular matrix representations of two speci...
G. Susinder Rajan, B. Sundar Rajan
CAV
2007
Springer
164views Hardware» more  CAV 2007»
14 years 15 days ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke