4502 search results - page 411 / 901 » Regular Model Checking |
223
click to vote
NIPS
2008
15 years 8 months ago
2008
This paper addresses the important tradeoff between privacy and learnability, when designing algorithms for learning from private databases. We focus on privacy-preserving logisti...
193
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
We study the joint feature selection problem when learning multiple related classification or regression tasks. By imposing an automatic relevance determination prior on the hypo...
184
click to vote
IJCV
2006
15 years 6 months ago
2006
Consider the problem of image deblurring in the presence of impulsive noise. Standard image deconvolution methods rely on the Gaussian noise model and do not perform well with imp...
183
Voted
CSDA
2007
15 years 6 months ago
2007
The Lasso is an attractive regularisation method for high dimensional regression. It combines variable selection with an efficient computational procedure. However, the rate of co...
155
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
- In this paper, we propose a novel and global A3MAP (Architecture-Aware Analytic Mapping) algorithm applied to NoC (Networks-on-Chip) based MPSoC (Multi-Processor System-on-Chip) ...