15372 search results - page 392 / 3075 » The Semantics of Semantic Annotation |
183
click to vote
COLING
1990
15 years 8 months ago
1990
We present here the current prototype of the text understanding system HELENE. The objective of this system is to achieve a deep understanding of small reports dealing with a rest...
142
click to vote
SWAP
2007
15 years 8 months ago
2007
In this paper we present Talia, a novel implementation of a semantic digital web library system, which is part of the Discovery project. Talia deploys Semantic Web technologies and...
144
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...
141
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
181
click to vote
ENTCS
2008
15 years 6 months ago
2008
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...