1716 search results - page 251 / 344 » Proving Conditional Termination |
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
A comparison of lossleess compression results is given for RGB, YCRCB and reversible JPEG 2000 color space. The paper describes the general conditions that rounding errors of a co...
136
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
We introduce a new algorithm for binary classification in the selective sampling protocol. Our algorithm uses Regularized Least Squares (RLS) as base classifier, and for this reas...
128
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper we show that many kernel methods can be adapted to deal with indefinite kernels, that is, kernels which are not positive semidefinite. They do not satisfy Mercer...
154
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Transactional data are ubiquitous. Several methods, including frequent itemsets mining and co-clustering, have been proposed to analyze transactional databases. In this work, we p...
229
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...