We propose a novel technique called dimming to improve the energy efficiency of cellular networks by reducing the capacity, services, and energy consumption of cells without turnin...
David Tipper, Abdelmounaam Rezgui, Prashant Krishn...
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
1 A relay station (RS)-based cellular system deployment is considered, where multiple base stations (BS) cooperate in the BSRS in-band transmission for the downlink. With the joint...
Josep Vidal, Adrian Agustin, Sandra Lagen, Eduard ...
Most problems studied in artificial intelligence possess some form of structure, but a precise way to define such structure is so far lacking. We investigate how the notion of pr...
Anthony Bucci, Jordan B. Pollack, Edwin D. de Jong
— We study the complexity of a class of problems involving satisfying constraints which remain the same under translations in one or more spatial directions. In this paper, we sh...