Sciweavers

2345 search results - page 334 / 469
» Virtual Reality and Education
Sort
View
CORR
2008
Springer
217views Education» more  CORR 2008»
15 years 6 months ago
A Distributed Merge and Split Algorithm for Fair Cooperation in Wireless Networks
Abstract-- This paper introduces a novel concept from coalitional game theory which allows the dynamic formation of coalitions among wireless nodes. A simple and distributed merge ...
Walid Saad, Zhu Han, Mérouane Debbah, Are H...
CORR
2006
Springer
124views Education» more  CORR 2006»
15 years 6 months ago
Linear Encodings of Bounded LTL Model Checking
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Ti...
ICWL
2004
Springer
15 years 12 months ago
CUBES: Providing Flexible Learning Environment for Virtual Universities
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...
Peifeng Xiang, Yuanchun Shi, Weijun Qin, Xin Xiang
WACC
1999
ACM
15 years 11 months ago
Virtual environments at work: ongoing use of MUDs in the workplace
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
Elizabeth F. Churchill, Sara A. Bly
ISBMS
2010
Springer
15 years 8 months ago
Comparing Automatic Simulator Assessment with Expert Assessment of Virtual Surgical Procedures
This study focuses on the comparison of expert assessment of virtual surgical procedures through Objective Structured Assessment of Technical Skills (OSATS) with the automatic asse...
Stefan Tuchschmid, Michael Bajka, Matthias Harders