We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, ...
Distributed hash tables have been around for a long time [5, 7]. A number of recent projects propose peerto-peer DHTs, based on multi-hop lookup optimizations. Some of these syste...
This paper deals with the performance analysis of a system modeled by a queue. If we are interested in occupation problems and if we look at the transient phase, then it makes sen...
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
Susan W. van den Braak, Gerard Vreeswijk, Henry Pr...
In this paper, we discuss the experiments conducted in context of Document Search task of 2007 Enterprise Search track. Our method is based on selecting sentences from the given r...