Sciweavers

2345 search results - page 337 / 469
» Virtual Reality and Education
Sort
View
ICALT
2006
IEEE
16 years 18 days ago
VISOLE: A New Game-based Situated Learning Paradigm
VISOLE (Virtual Interactive Student-Oriented Learning Environment) is a new Game-based Situated Learning Paradigm for Web-based teaching and learning, which aims to help students ...
Junjie Shang, Morris Siu Yung Jong, Fong Lok Lee, ...
ERCIMDL
2000
Springer
165views Education» more  ERCIMDL 2000»
15 years 10 months ago
DEBORA: Developing an Interface to Support Collaboration in a Digital Library
Interfaces to library systems have largely failed to represent the inherently collaborative nature of information work. This paper describes how collaborative functionality is bein...
David M. Nichols, Duncan Pemberton, Salah Dalhoumi...
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 6 months ago
FIFO anomaly is unbounded
Abstract. Virtual memory of computers is usually implemented by demand paging. For some page replacement algorithms the number of page faults may increase as the number of page fra...
Peter Fornai, Antal Iványi
CORR
2010
Springer
184views Education» more  CORR 2010»
15 years 6 months ago
Comparison of different Broadcast Schemes for Multi-Hop Wireless Sensor Networks
In this paper, we present the performance of different broadcast schemes for multihop sensor networks based on mathematical modeling. In near future many applications will demand ...
S. Mehta, K. S. Kwak
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 6 months ago
Mechanized semantics
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
Xavier Leroy