4100 search results - page 390 / 820 » General Linear Cameras |
182
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
182
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
We present a general approach for designing approximation algorithms for a fundamental class of geometric clustering problems in arbitrary dimensions. More specifically, our appro...
182
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
198
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Correlation is often used to measure the similarity between signals and is an important tool in signal and image processing. In some applications it is common that signals are cor...
147
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a least square kernel machine with box constraints (LSKMBC). The existing least square machines assume Gaussian hyperpriors and subsequently express the ...