2611 search results - page 317 / 523 » A Logic for Concepts and Similarity |
165
click to vote
TCC
2005
Springer
16 years 1 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
172
click to vote
CSCLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
158
click to vote
AIMSA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
179
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
190
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...