939 search results - page 132 / 188 » Semantic Abstraction and Quantum Computation |
ECAI
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
COMPSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
DLOG
2007
14 years 8 days ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
IC
2004
13 years 11 months ago
2004
Abstract-- The Web Services infrastructure is a distributed computing environment for service-sharing. In this environment, resource discovery is required as a primitive functional...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...