Sciweavers

553 search results - page 48 / 111
» Phoenix Tool: A Support to Semantic Learning Model
Sort
View
DOCENG
2006
ACM
15 years 5 months ago
Templates, microformats and structured editing
Microformats and semantic XHTML add semantics to web pages while taking advantage of the existing (X)HTML infrastructure. This approach enables new applications that can be deploy...
Francesc Campoy Flores, Vincent Quint, Irèn...
IADIS
2003
15 years 1 months ago
Learning Objects: Are They Serving Practitioners Working with VLES?
The purpose of this paper is to present a high-level discussion based on ongoing research with the aim of providing support to educational practitioners based on real shareability...
Miguel Baptista Nunes, Robert Pasley, Maggie McPhe...
ECTEL
2007
Springer
15 years 6 months ago
Mobile Social Software with Context Awareness and Data Uncertainty for Technology-Enhanced Learning
Mobile computing technologies and social software have given new challenges to technology-enhanced learning. Simple e-learning system personalization, adaptation and authoring beco...
Yiwei Cao
SIGSOFT
2003
ACM
16 years 16 days ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
ITS
2000
Springer
135views Multimedia» more  ITS 2000»
15 years 3 months ago
Analyzing and Generating Mathematical Models: An Algebra II Cognitive Tutor Design Study
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
Albert T. Corbett, Megan McLaughlin, K. Christine ...