1717 search results - page 21 / 344 » A Computable Spectral Theorem |
123
Voted
CGA
1999
15 years 3 months ago
1999
111
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
122
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
132
Voted
BMVC
2000
15 years 5 months ago
2000
This paper presents a spectral method for identifying multiple texture planes. We commence by showing how pairs of spectral peaks can be used to make direct estimates of the slant...
127
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...