Situated Multi Agent System models are characterized by the representation and exploitation of spatial information related to agents, the environment they inhabit and their positi...
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...
Abstract. In this paper we consider how practical interoperation between a conventional PKI and an infrastructure based on ID-based cryptography might be achieved. Major issues ari...
Blotch detection and removal is an important issue for archive video restoration. Spatial segmentation based postprocessing has been proposed to increase the detection performance...