1188 search results - page 211 / 238 » Testing Semantics: Connecting Processes and Process Logics |
135
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
140
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
109
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we present an approach to the scheduling and voltage scaling of low-power fault-tolerant hard real-time applications mapped on distributed heterogeneous embedded sys...
140
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only currently pervasive on the web, but also important to the eme...
173
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
The field of information retrieval still strives to develop models which allow semantic information to be integrated in the ranking process to improve performance in comparison to...