4839 search results - page 570 / 968 » Providing SCORM with adaptivity |
226
Voted
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The pervasive adoption of wireless technologies is creating a growing demand for seamless interaction with wireless services. By sharing resources across devices such as PDA'...
122
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
The Internet has become an important part of our daily lives, with browsers serving as the main tool of navigation. For users with severe disabilities, access to the Internet can ...
182
Voted
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
230
Voted
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We have developed Ceph, a distributed file system that provides excellent performance, reliability, and scalability. Ceph maximizes the separation between data and metadata manage...
200
Voted
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
To obtain correlated and complementary information contained in text mining and bibliometrics, hybrid clustering to incorporate textual content and citation information has become...