— We consider the design of optimal strategies for joint power adaptation, rate adaptation and scheduling in a multi-hop wireless network. Most existing strategies control either...
In this paper, a multi-camera architecture is presented for heterogeneous targets analysis and tracking. The proposed system can be switched in various configurations enabling aut...
Luca Marchesotti, Stefano Piva, Andrea F. Cattoni,...
—This paper is concerned with cellular systems with rate constraints in fading environments. We consider a simple but asymptotically optimal matched filtering/successive interfer...
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
We present negotiation schemes for efficient role adoption that enhance utility in organizations. In one scheme, local utility computations determine role adoption. In the second ...