134 search results - page 15 / 27 » Knowledge and communication: A first-order theory |
TARK
2007
Springer
15 years 3 months ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
INTERACT
2003
14 years 11 months ago
2003
: Constructed Narratives is both a human computer interaction research project and interactive art exploration that demonstrates methods by which rigorous research and aesthetic an...
77
Voted
CHI
2010
ACM
15 years 4 months ago
2010
ACM
In an online experiment, I apply theory from psychology and communications to find out whether group information management tasks are governed by the same communication processes...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
115
click to vote
MOBIHOC
2007
ACM
15 years 9 months ago
2007
ACM
Existing work on the capacity of wireless networks predominantly considers homogeneous random networks with random work load. The most relevant bounds on the network capacity, e.g...