3616 search results - page 256 / 724 » Support Tucker Machines |
174
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
Semi-Supervised Support Vector Machines (S3 VMs) are an appealing method for using unlabeled data in classification: their objective function favors decision boundaries which do n...
188
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We introduce a novel approach to incorporating domain knowledge into Support Vector Machines to improve their example efficiency. Domain knowledge is used in an Explanation Based ...
198
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper presents an approach to build Sparse Large Margin Classifiers (SLMC) by adding one more constraint to the standard Support Vector Machine (SVM) training problem. The ad...
278
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
158
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
VMware ESX Server is a thin software layer designed to multiplex hardware resources efficiently among virtual machines running unmodified commodity operating systems. This paper i...