A course on pervasive computing should be structured around key functions throughout a systems development process to cover common underlying concerns throughout science and engin...
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
—In this paper, a novel peak power reduction scheme based on trellis shaping is proposed for single-carrier pulseshaped phase shift keying (PSK) systems. The use of PSK generally...
During the ispd05 placement contest, we employed the forcedirected approach Kraftwerk for global placement complemented by the network-flow based final placer Domino. These powe...
In this paper we discuss the re-orientation of humancomputer interaction as an aesthetic field. We argue that mainstream approaches lack of general openness and ability to assess ...