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...
: This study provides a conceptual framework with respect to service innovation, especially from a service-dominant logic (S-D logic) perspective. Even though innovation has been d...
—In this paper, we outline the importance of discussion fora for e-learning applications. Due to a weak structure or size of the discussion forum, recommendations are required in...
Fabian Abel, Ig Ibert Bittencourt, Evandro de Barr...
This paper presents a framework for recognising realistic human actions captured from unconstrained environments. The novelties of this work lie in three aspects. First, we propos...
Matteo Bregonzio, Jian Li, Shaogang Gong, Tao Xian...
Link prediction is a fundamental problem in social network analysis and modern-day commercial applications such as Facebook and Myspace. Most existing research approaches this pro...