2516 search results - page 20 / 504 » When is there a representer theorem |
148
click to vote
JAIR
2011
15 years 1 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
151
click to vote
NDJFL
2010
15 years 27 days ago
2010
Van Lambalgen's Theorem plays an important role in algorithmic randomness, especially when studying relative randomness. In this paper we extend van Lambalgen's Theorem ...
188
Voted
LICS
1997
IEEE
15 years 9 months ago
1997
IEEE
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...
165
Voted
ISNN
2005
Springer
15 years 11 months ago
2005
Springer
Recently, a mathematical proof is obtained in (Liu, Chiu, Xu, 2004) on the so called one-bit-matching conjecture that all the sources can be separated as long as there is an one-to...
149
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--The L-user additive white Gaussian noise multiway relay channel is considered, where multiple users exchange information through a single relay at a common rate. Existing...