3353 search results - page 180 / 671 » Laver and set theory |
170
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
The use of Mercer kernel methods in statistical learning theory provides for strong learning capabilities, as seen in kernel principal component analysis and support vector machin...
187
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
The theory of compressed sensing tells a dramatic story that sparse signals can be reconstructed near-perfectly from a small number of random measurements. However, recent work ha...
162
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
165
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The paper addresses the problem of learning a regression model parameterized by a fixed-rank positive semidefinite matrix. The focus is on the nonlinear nature of the search space...
192
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
In this paper we present a general framework for the comparison of intervals when preference relations have to established. The use of intervals in order to take into account impr...