1717 search results - page 104 / 344 » A Computable Spectral Theorem |
110
click to vote
ISMVL
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
113
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
We extend the notion of randomness (in the version introduced by Schnorr) to computable Probability Spaces and compare it to a dynamical notion of randomness: typicality. Roughly, ...
117
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
We present an exact algorithm for the computation of the moments of a region bounded by a curve represented in a scaling function or wavelet basis. Using Green's theorem, we ...
134
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
130
click to vote
AMC
2006
15 years 4 months ago
2006
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...