939 search results - page 111 / 188 » Semantic Abstraction and Quantum Computation |
ECSQARU
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
DEXA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
RR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
PVM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics specified by MPI-2 allow for a number of di...