320 search results - page 36 / 64 » A Modal Logic of Information Change |
KI
1999
Springer
14 years 23 days ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
CSMR
2006
IEEE
14 years 2 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
NCA
2007
IEEE
14 years 2 months ago
2007
IEEE
Our research addresses two important problems that arise in modern large-scale distributed systems: (1) the necessity to virtualize their data flows by applying actions such as ï...
ISRR
2005
Springer
14 years 2 months ago
2005
Springer
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...