This article shows that the creation of cyberworlds (interactive virtual environments) can be an excellent educational tool covering a wide range of computer science and engineeri...
In addition to established methods, the treatment of mental disorders using Virtual Reality Exposure Therapy is becoming commonplace. We present an approach, which extends this co...
Holger Regenbrecht, Daniel Wickeroth, Brian Dixon,...
This paper suggests cultural models for virtual banking based on ethnographic research. The spatial and temporal features of cybersp ace change the traditional banking service and...
Code quality and compilation speed are two challenges to JIT compilers, while selective compilation is commonly used to tradeoff these two issues. Meanwhile, with more and more Ja...
Yuan Zhang, Min Yang, Bo Zhou, Zhemin Yang, Weihua...
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
E. Allen Emerson, John Havlicek, Richard J. Trefle...