1809 search results - page 170 / 362 » Using GDE in Educational Systems |
135
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
115
Voted
ITICSE
2005
ACM
15 years 9 months ago
2005
ACM
We investigate the use of a thin-client based configuration in providing students with universal access to a centralized, graphical computing environment. The primary goal is to ...
131
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
169
click to vote
JUCS
2008
15 years 4 months ago
2008
: Authoring in adaptive educational hypermedia environment is complex activity. In order to promote a wider application of this technology, the teachers and course designers need s...
116
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We designed and implemented Tagme, a system that is able to efficiently and judiciously augment a plain-text with pertinent hyperlinks to Wikipedia pages. The specialty of Tagme w...