model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
Despite the growing popularity of Online Social Networks (OSNs), the workload characteristics of OSN servers, such as those hosting blog services, are not well understood. Understa...
Myeongjae Jeon, Jeaho Hwang, Youngjae Kim, Jae-Wan...
In this paper a facial feature point tracker that is motivated by applications such as human-computer interfaces and facial expression analysis systems is proposed. The proposed t...
An adequate understanding of climate variability and the eventual prediction of climate change are among the most urgent and far-reaching efforts of the scientific community.. Mea...
Ramprasad Balasubramanian, Vishal Sood, Bin John, ...
In this paper a new very low bit rate video coding scheme is presented. It is based on a forward motion estimation technique using an image warping model, thus delivering the basi...
Guido Heising, Kai Uwe Barthel, W. Johannsen, C. S...