Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Let X be a data matrix of rank ρ, representing n points in d-dimensional space. The linear support vector machine constructs a hyperplane separator that maximizes the 1- norm soft margin. We develop a new oblivious dimension reduction technique which is precomputed and can be applied to any input matrix X. We prove that, with high probability, the margin and minimum enclosing ball in the feature space are preserved to within ε-relative error, ensuring comparable generalization as in the original space. We present extensive experiments with real and synthetic data to support our theory.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Cristina Cornelio, Judy Goldsmith, et al.
JAIR
Rei Odaira, Jose G. Castanos, et al.
IISWC 2013
Wooseok Choi, Tommaso Stecconi, et al.
Advanced Science