Sciweavers

7924 search results - page 365 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
JMLR
2011
167views more  JMLR 2011»
15 years 2 months ago
Logistic Stick-Breaking Process
A logistic stick-breaking process (LSBP) is proposed for non-parametric clustering of general spatially- or temporally-dependent data, imposing the belief that proximate data are ...
Lu Ren, Lan Du, Lawrence Carin, David B. Dunson
JMLR
2010
82views more  JMLR 2010»
15 years 2 months ago
On Spectral Learning
In this paper, we study the problem of learning a matrix W from a set of linear measurements. Our formulation consists in solving an optimization problem which involves regulariza...
Andreas Argyriou, Charles A. Micchelli, Massimilia...
SIGSOFT
2010
ACM
15 years 2 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 11 months ago
PHCpack in Macaulay2
The Macaulay2 package PHCpack.m2 provides an interface to some of the functionality of PHCpack, a general-purpose solver for polynomial systems by homotopy continuation. The main f...
Elizabeth Gross, Sonja Petrovic, Jan Verschelde
ICASSP
2011
IEEE
14 years 11 months ago
Causal signal recovery from U-invariant samples
Causal processing of a signal’s samples is crucial in on-line applications such as audio rate conversion, compression, tracking and more. This paper addresses the problem of cau...
Tomer Michaeli, Yonina C. Eldar, Volker Pohl