Sciweavers

931 search results - page 55 / 187
» aim 2005
Sort
View
SIBGRAPI
2005
IEEE
14 years 3 months ago
True Factor Analysis in Medical Imaging: Dealing with High-Dimensional Spaces
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...
Alexei Manso Correa Machado
TPHOL
2005
IEEE
14 years 3 months ago
On the Correctness of Operating System Kernels
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...
WISE
2005
Springer
14 years 3 months ago
A Reusability Model for Portlets
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...
Maria Ángeles Moraga, Coral Calero, I&ntild...
WMTE
2005
IEEE
14 years 3 months ago
LOCH: Supporting Informal Language Learning Outside the Classroom with Handhelds
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...
WMTE
2005
IEEE
14 years 3 months ago
Lifeblog: A New Concept in Mobile Learning?
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...
Elizabeth Hartnell-Young, Frank Vetere