2905 search results - page 281 / 581 » Learning in Hyperlinked Environments |
UCS
2004
Springer
15 years 8 months ago
2004
Springer
We developed AirTransNote, a computer-mediated classroom collaboration system. The system enables real-time note-sharing. AirTransNote manages notes written by students on paper a...
128
Voted
AIME
2003
Springer
15 years 8 months ago
2003
Springer
Among the well agreed-on benefits of a guideline computerisation, with respect to the traditional text format, there are the disambiguation, the possibility of looking at the guide...
114
click to vote
ACSC
2000
IEEE
15 years 7 months ago
2000
IEEE
The World Wide Web has transformed itself in the last few years from a simple state-less multimedia platform to a global distributed processing environment. As Web computing gains...
130
Voted
ISCC
2000
IEEE
15 years 7 months ago
2000
IEEE
With multimedia applications, the Internet traffic increased a lot in volume, but also suffered major alterations in its nature, requesting other network services besides the curr...
123
Voted
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...