2436 search results - page 112 / 488 » Comonadic Notions of Computation |
127
click to vote
AML
2008
15 years 4 months ago
2008
We investigate notions of randomness in the space C(2N ) of continuous functions on 2N . A probability measure is given and a version of the Martin-L
100
click to vote
FUIN
2006
15 years 4 months ago
2006
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...
147
click to vote
APAL
2005
15 years 3 months ago
2005
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
120
click to vote
TCS
2008
15 years 3 months ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
111
click to vote
JLP
2007
15 years 3 months ago
2007
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...