This article presents a new method for discovering hidden patterns in high-dimensional dataset resulting from image registration. It is based on true factor analysis, a statistica...
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
By means of portals, a company can give each person the information that responds to their specific needs. Nowadays, portals tend to be constructed by means of portlets. So, if we...
The continuous development of wireless and mobile technologies has allowed the creation of an additional platform for supporting learning, one that can be embedded in the same phy...
Rosa G. J. Paredes, Hiroaki Ogata, A. Nobuji, Yasu...
In this paper we report early findings from a sample of Australian participants using Nokia’s Lifeblog software on mobile phones to record aspects of living and learning in both...