1717 search results - page 17 / 344 » A Computable Spectral Theorem |
174
Voted
EDUTAINMENT
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper presents a new spectrally-based single image relighting approach. We first compute the spectral radiance of each stimulus on the monitor when displaying the i...
117
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...
161
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
The following theorem of Huet and L
90
Voted
APAL
2006
15 years 3 months ago
2006
The Dushnik
115
Voted
DCG
2010
15 years 1 months ago
2010
Abstract. The Topological Radon Theorem states that, for every continuous function from the boundary of a (d + 1)-dimensional simplex into Rn , there exist a pair of disjoint faces...