118 search results - page 4 / 24 » A Simple Proof of Miller-Yu Theorem |
145
click to vote
EJC
2008
15 years 6 months ago
2008
Let X be a set of points in general position in the plane. General position means that no three points lie on a line and no two points have the same x-coordinate. Y X is a cup, r...
176
click to vote
CSL
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
249
click to vote
LCC
1994
15 years 10 months ago
1994
We firstly survey several forms of Herbrand's theorem. What is commonly called "Herbrand's theorem" in many textbooks is actually a very simple form of Herbrand...
131
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— A principle of linear mean-square estimation which we call the “missing observations theorem” is presented here and used to provide a simple alternative derivation of Levin...
131
click to vote
MOR
2010
15 years 21 days ago
2010
We provide yet another proof of the existence of calibrated forecasters; it has two merits. First, it is valid for an arbitrary finite number of outcomes. Second, it is short and ...