320 search results - page 25 / 64 » A Modal Logic of Information Change |
155
click to vote
ICC
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract—Secure multicast has become an important component of many applications in wireless networks. In this paper, we investigate secure intra and inter group information shar...
176
click to vote
SYNTHESE
2010
15 years 26 days ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
158
click to vote
RR
2007
Springer
16 years 8 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
154
click to vote
ICRA
2009
IEEE
16 years 24 days ago
2009
IEEE
— In this work we propose a new way to achieve visual servoing using directly the information (as defined by Shannon) of the image. A metric derived from information theory, mut...
159
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...