1864 search results - page 224 / 373 » Learning Object Context for Adaptive Learning Design |
HVC
2005
Springer
14 years 2 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
HCI
2007
13 years 10 months ago
2007
The intrinsic motivation to play, and therefore to learn, that might be provided by digital educational games teases researchers and developers. However, existing educational games...
IPSN
2010
Springer
14 years 3 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...
CSCW
2008
ACM
13 years 10 months ago
2008
ACM
Complex 3D digital media creation demands anytime and anywhere collaboration support. The CoMaya project aims to incorporate such advanced collaboration capabilities into Autodesk...
CE
2005
13 years 8 months ago
2005
The aim of the present study was to analyze teachers' pedagogical designs, plans of organized technology-supported, collective student inquiry. Ten teachers in Finland design...