7452 search results - page 324 / 1491 » A Semantics for Multiprocessor Systems |
168
click to vote
EMNLP
2008
15 years 8 months ago
2008
In recent years, with the development of Chinese semantically annotated corpus, such as Chinese Proposition Bank and Normalization Bank, the Chinese semantic role labeling (SRL) t...
187
Voted
SEBD
2007
15 years 8 months ago
2007
Abstract. Recently, more and more web services are being made available and their use can potentially highly increase cooperation in P2P systems, where different partners intend t...
190
click to vote
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
220
click to vote
CONTEXT
2005
Springer
15 years 8 months ago
2005
Springer
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...
213
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...