: Ground target surveillance is getting a more and more important task, for civil as for military applications. Ground targets may be bound to infrastructural constraints, like veh...
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...
In forensic science, 3D cranio facail reconstruction is used to reconstruct the face from a skull. This can be done by manual approaches or computer assisted methods. The proposed...
People are emotional, and machines are not. That constrains their communication, and defines a key challenge for the information sciences. Different groups have addressed it from d...
Abstract: This paper presents the information aggregation methods enabling cost- and QoS-aware service deployment. It is expected that network management tools will require the net...