639 search results - page 62 / 128 » Collaborative Virtual Environment Standards: A Performance E... |
PADL
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
AIEDU
2006
13 years 8 months ago
2006
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Motivated by the widespread of file and video streaming over peer-to-peer networks, we propose to investigate the design of a peer-to-peer solution for image-based remote walk...
BCSHCI
2007
13 years 10 months ago
2007
This paper presents the design and comparison of a mousebased interaction technique (hereafter IT) and two advanced IT, used in public spaces to support navigation in a 3D space. ...
EUROMED
2010
13 years 7 months ago
2010
Digital cultural heritage in interactive form can take different shapes. It can be either in the form of interactive virtual representations of non-digital objects like buildings o...