4211 search results - page 435 / 843 » Types as Abstract Interpretations |
163
click to vote
FINTAL
2006
15 years 10 months ago
2006
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
135
Voted
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
236
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
181
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper INDIGO, an approach to infrastructures for digital libraries is presented. It fulfills two crucial requirements to digital libraries: scalability and the ab...
205
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...