In this paper, we present the main features of VISTO (Vector Image Serach TOol), a new Content-Based Image Retrieval (CBIR) system for vector images. Though unsuitable for photore...
Tania Di Mascio, Daniele Frigioni, Laura Tarantino
Assume a network (V, E) where a subset of the nodes in V are active. We consider the problem of selecting a set of k active nodes that best explain the observed activation state, ...
A tactical radio network is a radio network in which a transmitter broadcasts the same information to its receivers. In this paper, dynamic spectrum management is studied for multi...
In the task of adaptive information filtering, a system receives a stream of documents but delivers only those that match a person's information need. As the system filters i...
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...