This work outlines the design process of a user centered learning object repository. A repository should foster the development and acquisition of both generic and specific informa...
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
—We describe MusicJacket, a wearable system to support the teaching of good posture and bowing technique to novice violin players. The system uses an inertial motion capture syst...
Janet van der Linden, Erwin Schoonderwaldt, Jon Bi...
In this paper, we examine an emerging variation of the classification problem, which is known as the inverse classification problem. In this problem, we determine the features to b...
We consider the generation of prime-order elliptic curves (ECs) over a prime field Fp using the Complex Multiplication (CM) method. A crucial step of this method is to compute the ...