Sciweavers

3616 search results - page 87 / 724
» Support Tucker Machines
Sort
View
KDD
2006
ACM
181views Data Mining» more  KDD 2006»
16 years 4 months ago
Cryptographically private support vector machines
We study the problem of private classification using kernel methods. More specifically, we propose private protocols implementing the Kernel Adatron and Kernel Perceptron learning ...
Helger Lipmaa, Sven Laur, Taneli Mielikäinen
FM
2009
Springer
116views Formal Methods» more  FM 2009»
15 years 11 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook