393 search results - page 20 / 79 » Abstract Interpretation of Probabilistic Semantics |
159
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
165
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
154
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
170
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
156
click to vote
FOSSACS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...