Sciweavers

4324 search results - page 14 / 865
» A Generalized Representer Theorem
Sort
View
ISIPTA
2003
IEEE
106views Mathematics» more  ISIPTA 2003»
14 years 20 days ago
Continuous Linear Representation of Coherent Lower Previsions
This paper studies the possibility of representing lower previsions by continuous linear functionals. We prove the existence of a linear isomorphism between the linear space spann...
Sebastian Maaß
ACL2
2006
ACM
14 years 1 months ago
Reasoning about ACL2 file input
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
Jared Davis
TNN
2008
74views more  TNN 2008»
13 years 7 months ago
Pattern Representation in Feature Extraction and Classifier Design: Matrix Versus Vector
The matrix, as an extended pattern representation to the vector, has proven to be effective in feature extraction. But the subsequent classifier following the matrix-pattern-orien...
Zhe Wang, Songcan Chen, Jun Liu, Daoqiang Zhang