137 search results - page 16 / 28 » Proofnets and Context Semantics for the Additives |
POPL
2010
ACM
15 years 7 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
ICWE
2005
Springer
15 years 3 months ago
2005
Springer
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
72
Voted
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
MIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...