Sciweavers

5622 search results - page 314 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 6 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
SEMWEB
2010
Springer
15 years 4 months ago
Finding the Achilles Heel of the Web of Data: Using Network Analysis for Link-Recommendation
Abstract. The Web of Data is increasingly becoming an important infrastructure for such diverse sectors as entertainment, government, ecommerce and science. As a result, the robust...
Christophe Guéret, Paul T. Groth, Frank van...
AIED
2005
Springer
16 years 7 days ago
Engagement tracing: using response times to model student disengagement
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
Joseph E. Beck
GECCO
2004
Springer
16 years 2 days ago
Validating a Model of Colon Colouration Using an Evolution Strategy with Adaptive Approximations
The colour of colon tissue, which depends on the tissue structure, its optical properties, and the quantities of the pigments present in it, can be predicted by a physics-based mod...
Dzena Hidovic, Jonathan E. Rowe
IADIS
2004
15 years 8 months ago
Problem-Based Learning Method Simulation by PBL Virtual Environment
Problem Based Learning (PBL) is a new teaching-learning method originated from the changes that have occurred in the world economical basis and in the information and communicatio...
Hernane Borges de Barros Pereira, Gabriela Ribeiro...