Sciweavers

7404 search results - page 123 / 1481
» New Tools in Education
Sort
View
SEFM
2005
IEEE
16 years 16 hour ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
IADIS
2004
15 years 7 months ago
Creative Lesson by Using Cyber Theater and CTSL Learning KIT
To improve the courses of computer-based education in junior high school and high school, we have developed new educational multi-media tool, named Cyber Theater. Cyber Theater pr...
Hiroshi Matsuda, Yoshiaki Shindo
WMTE
2005
IEEE
16 years 13 hour ago
Developing Interactive Logbook: A Personal Learning Environment
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
Tony Chan, Dan Corlett, Mike Sharples, Jeffrey Tin...
SOCRATES
2008
105views Education» more  SOCRATES 2008»
15 years 7 months ago
Laboratory Door Opens to Non-formal Learning Communities. Science Centres as Mediators
The e-KNOWNET is a Lifelong Learning project, which aims to develop an innovative and viable mechanism to facilitate the flow of new scientific knowledge produced in the research ...
G. Anyfandi, V. Laopodis, V. Koulaidis, Nicolas Ap...
COLING
1996
15 years 7 months ago
MULTITALE: linking medical concepts by means of frames
In this paper MULTITALE, a system for the semantic tagging of medical neurosurgical texts and for the semi-automatic expansion of the medical lexicon, will be presented. Given the...
Isa Maks, Willy Martin