Sciweavers

18918 search results - page 457 / 3784
» Using Technology in Teaching
Sort
View
ITCC
2003
IEEE
15 years 11 months ago
Enabling Active Engagement in E-tutelage Using Interactive Multimedia System
Computer and multimedia technology play an increasingly important role in education. However, current educational multimedia systems suffer from a major drawback that they don’t...
Xiaoping Wei, Haining Liu, Magda El Zarki
WISE
2002
Springer
15 years 11 months ago
Topic Extraction from News Archive Using TF*PDF Algorithm
Busy and no time to digest the news archive .... ? Ever since the Web wide-spreading, the amount of electronically available information online, especially news archive proliferat...
Khoo Khyou Bun, Mitsuru Ishizuka
WMTE
2002
IEEE
15 years 11 months ago
Lightweight Extensions of Collaborative Modeling Systems for Synchronous Use on PDA's
Based on experience in orchestrating co llaborative learning scenarios with ubiquitous computing technology, two strategies for extending a co -constructive modeling environment w...
Niels Pinkwart, Christian Schäfer, Heinz Ulri...
GI
2001
Springer
15 years 10 months ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...
AH
2000
Springer
15 years 10 months ago
An Agent-Based Approach to Adaptive Hypermedia Using a Link Service
This paper describes an approach to adaptive hypermedia by incorporating linkbases into an agent-based system (PAADS). The agents are built on top of an agent framework developed a...
Christopher Bailey, Wendy Hall