During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
—We present TanGeoMS, a tangible geospatial modeling visualization system that couples a laser scanner, projector, and a flexible physical three-dimensional model with a standar...
Recently, adaptive course generation has been focusing by several researchers. We have built ACGs system to create adaptive courses for each learner based on evaluating demand, ab...
Three-dimensional morphable models of object classes are a powerful tool in modeling, animation and recognition. We introduce here the new concept of regularized 3D morphable mode...
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...