Sciweavers

1206 search results - page 90 / 242
» Modelling Information Systems as Object Societies
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
14 years 9 months ago
Using model checkers in an introductory course on operating systems
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...
Roelof Hamberg, Frits W. Vaandrager
TVCG
2010
155views more  TVCG 2010»
14 years 8 months ago
TanGeoMS: Tangible Geospatial Modeling System
—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...
Laura Tateosian, Helena Mitásová, Br...
IEEECIT
2006
IEEE
15 years 4 months ago
ACGs: Adaptive Course Generation System - An Efficient Approach to Build E-Learning Course
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...
Anh Nguyen Viet, Dam Ho Si
HLK
2003
IEEE
15 years 3 months ago
Regularized 3D Morphable Models
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...
Curzio Basso, Thomas Vetter, Volker Blanz
CONTEXT
2007
Springer
15 years 4 months ago
Adaptive and Context-aware Scenarios for Technology Enhanced Learning System based on a Didactical Theory and a Hierarchical Tas
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...
Jean-Louis Tetchueng, Serge Garlatti, Sylvain Laub...