845 search results - page 11 / 169 » Connecting Many-Sorted Theories |
ACMMPC
2000
Springer
14 years 23 days ago
2000
Springer
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we investigate the possibilities offered by the extension of the connected component trees (cc-trees) to multivariate images. We propose a general framework for ima...
IFIPTCS
2000
14 years 13 hour ago
2000
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...
IMPERIAL
1993
14 years 15 days ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
PIMRC
2008
IEEE
14 years 2 months ago
2008
IEEE
— We consider the problem of rate allocation in a fading Gaussian multiple-access channel with fixed transmission powers. The goal is to maximize a general concave utility funct...