Sciweavers

4324 search results - page 14 / 865
» A Generalized Representer Theorem
Sort
View
77
Voted
SIAMDM
2010
106views more  SIAMDM 2010»
14 years 11 months ago
An Extension of the Nemhauser--Trotter Theorem to Generalized Vertex Cover with Applications
Reuven Bar-Yehuda, Danny Hermelin, Dror Rawitz
87
Voted
ISIPTA
2003
IEEE
106views Mathematics» more  ISIPTA 2003»
15 years 6 months 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ß
121
Voted
ACL2
2006
ACM
15 years 6 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»
15 years 18 days 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