This paper aims at a discussion of the structure of the SLAM problem. The analysis is not strictly formal but based both on informal studies and mathematical derivation. The first ...
This paper concerns TCP Westwood, a recently developed modification of TCP, in combination with RED queue management. We develop a fluid-flow model of the protocol, and use it to s...
Jiwei Chen, Fernando Paganini, M. Y. Sanadidi, Ren...
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
In this paper, we apply a consensus model to decision-making in committees that have to choose one or more alternatives from a set of alternatives. The model does not use a voting...
Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. ...