1717 search results - page 101 / 344 » A Computable Spectral Theorem |
146
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Wigderson and Xiao presented an efficient derandomization of the matrix Chernoff bound using the method of pessimistic estimators [WX08]. Building on their construction, we prese...
226
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
124
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
248
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
147
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...