In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
Cloud computing systems are becoming an important platform for science applications. Infrastructure as a Service (IaaS) clouds provide the capability to provision virtual machines...
Applying Virtual Reality (VR) in combination with Intelligent Tutoring Systems (ITSs) is a promising approach to computer based learning and training. However, the classical struc...
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
Matthew Flatt, Robert Bruce Findler, Shriram Krish...
The Virtual Conductor is an artificial conducting system that uses real-time audio analysis of music played by musicians and uses this analysis to animate a virtual human that act...
Anton Nijholt, Dennis Reidsma, Rob Ebbers, Mark te...