1425 search results - page 263 / 285 » A Study of Design Requirements for Mobile Learning Environme... |
154
click to vote
PADO
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
135
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe a new theoretical framework for robot-aided training of arm movements. This framework is based on recent studies of motor adaptation in human subjects and on general c...
138
click to vote
HT
1998
ACM
15 years 8 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
113
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
127
click to vote
TVCG
2008
15 years 4 months ago
2008
Digital interactive information displays are becoming more common in public spaces such as museums, galleries, and libraries. However, the public nature of these locations requires...