385 search results - page 19 / 77 » Authoring Tool Generator for Intelligent Tutoring Systems |
MKM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
VL
1996
IEEE
14 years 19 days ago
1996
IEEE
As multimedia applications spread widely, it is crucial for programming and design support systems to handle "time" in multimedia documents effectively and flexibly. This...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
The REDEEM authoring tool allows teachers to create adapted learning environments for their students from existing material. Previous evaluations have shown that under experimental...