4324 search results - page 76 / 865 » A Generalized Representer Theorem |
108
click to vote
DAM
2002
15 years 3 months ago
2002
A graph is said to be uniquely list colorable, if it admits a list assignment which induces a unique list coloring. We study uniquely list colorable graphs with a restriction on t...
133
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We propose a new set of rotationally and translationally invariant features for image or pattern recognition and classification. The new features are cubic polynomials in the pix...
247
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
130
click to vote
TELSYS
2002
15 years 3 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
158
click to vote
IV
2008
IEEE
15 years 10 months ago
2008
IEEE
Focus + context visualization facilitates the exploration of complex information spaces. This paper proposes 3D generalization lenses, a new visualization technique for virtual 3D...