1717 search results - page 299 / 344 » A Computable Spectral Theorem |
ICMAS
2000
15 years 1 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
105
Voted
WOA
2000
15 years 1 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
135
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
120
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
The capacity of the Gaussian wiretap channel model is analyzed when there are multiple antennas at the sender, intended receiver and eavesdropper. The associated channel matrices a...
CORR
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the compl...