7289 search results - page 171 / 1458 » A Dependent Set Theory |
JFP
2010
13 years 6 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
PODC
2011
ACM
12 years 11 months ago
2011
ACM
We put forward a general theory of goal-oriented communication, where communication is not an end in itself, but rather a means to achieving some goals of the communicating partie...
IGPL
2008
13 years 7 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
CSDA
2006
13 years 8 months ago
2006
Numerical possibility distributions can encode special convex families of probability measures. The connection between possibility theory and probability theory is potentially fru...
ISSEP
2010
Springer
14 years 5 months ago
2010
Springer
We developed a set of didactic games and activities that can be used to illustrate and teach various concepts from Information Theory. For each of the games and activities we list ...