922 search results - page 161 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
133
click to vote
CORR
2010
Springer
15 years 2 months 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...
138
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
101
click to vote
DCG
2006
15 years 1 months ago
2006
In a 1967 paper, Banchoff stated that a certain type of polyhedral curvature, that applies to all finite polyhedra, was zero at all vertices of an odd-dimensional polyhedral manifo...
118
click to vote
IANDC
2006
15 years 1 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
104
click to vote
JANCL
2008
15 years 1 months ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...