2152 search results - page 243 / 431 » An Abstract Account of Composition |
151
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. With many organizations now employing multiple data centres around the world to share global traffic load, it is important to understand the effects of geographical distr...
164
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We consider FIFO buffer management for switches providing differentiated services. In each time step, an arbitrary number of packets arrive, and only one packet can be sent. The bu...
157
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Automatic processing of 3D ultrasound (US) is of great interest for the development of innovative and low-cost computer-assisted surgery tools. In this paper, we present ...
151
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
185
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...