Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
We study the distribution dynamics of the demand for books in Italy. We find that for each of three broad sub-markets in which the book publishing industry can be classified - Ita...
In this paper we introduce variable resolution 4– meshes, a powerful structure for the representation of geometric objects at multiple levels of detail. It combines most propert...
Bit-Power Loading (BPL) algorithms are proposed based on Effective SINR Mapping (ESM) techniques. The ESM techniques used are the Exponential ESM (EESM) as well as the Mean Mutual ...
Ioannis Dagres, Natalia Miliou, Andreas Zalonis, A...
Global color characterization is a very powerful tool to model in a simple yet discriminant way the visual appearance of complex objects. A fixed reference model of this type can ...