Sciweavers

652 search results - page 55 / 131
» Linear Explicit Substitutions
Sort
View
CORR
2010
Springer
134views Education» more  CORR 2010»
13 years 7 months ago
The LASSO risk for gaussian matrices
We consider the problem of learning a coefficient vector x0 ∈ RN from noisy linear observation y = Ax0 + w ∈ Rn . In many contexts (ranging from model selection to image proce...
Mohsen Bayati, Andrea Montanari
ICFP
2003
ACM
14 years 8 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
CDC
2008
IEEE
14 years 3 months ago
Robust invariant set theory applied to networked buffer-level control
— A manufacturer producing several items keeps them into safety stocks (buffers) in order to supply an external stochastic demand without interruptions. We consider the classical...
Francesco Borrelli, Carmen Del Vecchio, Alessandra...
ICPR
2008
IEEE
14 years 3 months ago
Joint segmentation and registration of elastically deformable objects
We present a new approach to the general problem of template-based segmentation, detection, and registration. This joint problem is highly nonlinear and high dimensional, due to t...
Gilad Cohen, Joseph M. Francos, Rami Hagege
ACCV
2007
Springer
14 years 3 months ago
Color Constancy Via Convex Kernel Optimization
This paper introduces a novel convex kernel based method for color constancy computation with explicit illuminant parameter estimation. A simple linear render model is adopted and ...
Xiaotong Yuan, Stan Z. Li, Ran He