29 search results - page 1 / 6 » g-Calculus-Based Compositional Rule of Inference |
JACIII
2006
13 years 6 months ago
2006
SEMWEB
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
SAS
2009
Springer
14 years 6 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
JMLR
2010
13 years 1 months ago
2010
There is a growing interest in building probabilistic models with high order potentials (HOPs), or interactions, among discrete variables. Message passing inference in such models...
CAV
2009
Springer
14 years 6 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...