We investigate an improvement to GSAT which associates a weight with each clause. We change the objective function so that GSAT moves to assignments maximizing the weight of satis...
Air pollution control is a major environmental concern. The quality of air is an important factor for everyday life in cities, since it affects the health of the community and dire...
Monica Bianchini, Ernesto Di Iorio, Marco Maggini,...
In the eld of computer vision, bene cial methods of measuring surface shape of transparent objects such as glasses have rarely been proposed. In this paper, we propose a convenien...
Emerging approaches to enforce some form of protection in (pseudo)anonymous peer to peer systems propose the use of reputations as a means to establish the reliability of servents...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...
In this paper we study the problem of computing an upward straight-line embedding of a directed graph G into a point set S, i.e. a planar drawing of G such that each vertex is map...
Carla Binucci, Emilio Di Giacomo, Walter Didimo, A...