1055 search results - page 55 / 211 » Convex Factorization Machines |
141
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
143
click to vote
ASSETS
2008
ACM
15 years 6 months ago
2008
ACM
This proposal is about a brain-controlled electrically powered wheelchair. The system comprises a brain-computer interface based on steady-state visual evoked potentials and a pro...
128
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
In the recent years support vector machines (SVMs) have been successfully applied to solve a large number of classification problems. Training an SVM, usually posed as a quadrati...
139
click to vote
ACL
2007
15 years 6 months ago
2007
Data sparseness is one of the factors that degrade statistical machine translation (SMT). Existing work has shown that using morphosyntactic information is an effective solution t...
163
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
— We discuss sparse support vector machines (sparse SVMs) trained in the reduced empirical feature space. Namely, we select the linearly independent training data by the Cholesky...