Sciweavers

141 search results - page 10 / 29
» Bounding basis reduction properties
Sort
View
ICASSP
2011
IEEE
13 years 1 months ago
Online performance guarantees for sparse recovery
A K∗ -sparse vector x∗ ∈ RN produces measurements via linear dimensionality reduction as u = Φx∗ + n, where Φ ∈ RM×N (M < N), and n ∈ RM consists of independent ...
Raja Giryes, Volkan Cevher
CORR
2004
Springer
123views Education» more  CORR 2004»
13 years 9 months ago
Light types for polynomial time computation in lambda-calculus
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
Patrick Baillot, Kazushige Terui
WG
2004
Springer
14 years 3 months ago
Treelike Comparability Graphs: Characterization, Recognition, and Applications
An undirected graph is a treelike comparability graph if it admits a transitive orientation such that its transitive reduction is a tree. We show that treelike comparability graphs...
Sabine Cornelsen, Gabriele Di Stefano
PAMI
2007
113views more  PAMI 2007»
13 years 9 months ago
Analytical Results on Style-Constrained Bayesian Classification of Pattern Fields
—We formalize the notion of style context, which accounts for the increased accuracy of the field classifiers reported in this journal recently. We argue that style context forms...
Sriharsha Veeramachaneni, George Nagy
TNN
2008
171views more  TNN 2008»
13 years 9 months ago
Adaptive Dynamic Inversion via Time-Scale Separation
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...
Naira Hovakimyan, E. Lavretsky, Chengyu Cao