13383 search results - page 2496 / 2677 » Abstractions from proofs |
FOCS
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— We consider the approximate sparse recovery problem, where the goal is to (approximately) recover a highdimensional vector x ∈ Rn from its lower-dimensional sketch Ax...
ICASSP
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract — Regularized block diagonalization (RBD) is a new linear precoding technique for the multi-antenna broadcast channel and has a significantly improved sum rate and dive...
ICRA
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...
ICRA
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— We propose a new approximate algorithm, LAJIV (Lookahead J-MDP Information Value), to solve Oracular Partially Observable Markov Decision Problems (OPOMDPs), a special ...
IISWC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— The Intel Threading Building Blocks (TBB) runtime library [1] is a popular C++ parallelization environment [2][3] that offers a set of methods and templates for creatin...