59 search results - page 4 / 12 » Integrating Searching and Authoring in Mizar |
ECTEL
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Current Learning Management Systems were typically conceived to offer a self-contained "one size fits all" learning environment. Adaptive educational systems ha...
HT
2004
ACM
14 years 27 days ago
2004
ACM
This paper presents applications of HyCon, a framework for context aware hypermedia system. The HyCon architecture encompasses annotations, links, and guided tours associating loc...
LAWEB
2004
IEEE
13 years 8 months ago
2004
IEEE
Model-based design methods, and model-based architectures, have gained adoption in authoring applications for the WWW. This is further reinforced by the increasing visibility of t...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Search engine researchers typically depict search as the solitary activity of an individual searcher. In contrast, results from our critical-incident survey of 150 users on Amazon...
ICDAR
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper discusses a scalable solution for integrating legacy illustrated parts drawings into a Class IV Interactive Electronic Technical Manual (IETM) [1,2]. An IETM is an inte...