2705 search results - page 472 / 541 » Privacy in Data Mining Using Formal Methods |
92
Voted
PSIVT
2007
Springer
15 years 8 months ago
2007
Springer
This paper considers the problem of Bayesian inference in dynamical models with time-varying dimension. These models have been studied in the context of multiple target tracking pr...
118
click to vote
CAP
2010
14 years 9 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
117
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
This paper develops algorithms to train linear support vector machines (SVMs) when training data are distributed across different nodes and their communication to a centralized no...
124
click to vote
JMLR
2010
14 years 8 months ago
2010
This paper develops algorithms to train support vector machines when training data are distributed across different nodes, and their communication to a centralized processing unit...
110
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
The least-absolute shrinkage and selection operator (Lasso) is a popular tool for joint estimation and continuous variable selection, especially well-suited for the under-determin...