2436 search results - page 231 / 488 » Comonadic Notions of Computation |
161
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
192
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...
150
click to vote
IDA
2003
Springer
15 years 12 months ago
2003
Springer
The recent developments in computer and communication technologies gave rise to Personal Communication Systems. Due to the nature of the PCS, the bandwidth allocation problem arise...
177
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...
151
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a generic and efficient method for 2D and 3D shape estimation via density Þelds. Our method models shape as a density map and uses the notion of density to Þt a mod...