Sciweavers

3281 search results - page 521 / 657
» Bases for parametrized iterativity
Sort
View
102
Voted
DCC
2008
IEEE
16 years 1 months ago
Distributed Multi-stage Coding of Correlated Sources
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
Ankur Saxena, Kenneth Rose
DCC
2001
IEEE
16 years 1 months ago
The Coding-Optimal Transform
We propose a new transform coding algorithm that integrates all optimization steps into a coherent and consistent framework. Each iteration of the algorithm is designed to minimiz...
Cynthia Archer, Todd K. Leen
PPOPP
2010
ACM
15 years 11 months ago
A practical concurrent binary search tree
We propose a concurrent relaxed balance AVL tree algorithm that is fast, scales well, and tolerates contention. It is based on optimistic techniques adapted from software transact...
Nathan Grasso Bronson, Jared Casper, Hassan Chafi,...
142
Voted
ALT
2002
Springer
15 years 10 months ago
Optimally-Smooth Adaptive Boosting and Application to Agnostic Learning
We describe a new boosting algorithm that is the first such algorithm to be both smooth and adaptive. These two features make possible performance improvements for many learning ...
Dmitry Gavinsky
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
15 years 10 months ago
Verification of arithmetic datapaths using polynomial function models and congruence solving
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram ...