Physics education often relies on visualization of theoretical laws. While Java animations are widespread, they mostly lack user interaction. We propose a haptic device inviting u...
Adaptive course generation is more flexible if it includes mechanisms deciding just-in-time which exercises, which external resources, and which tools to include for an individual...
We present a novel approach to solving Quantified Boolean Formulas (QBF) that combines a search-based QBF solver with machine learning techniques. We show how classification met...
Predicting the "Value at Risk" of a portfolio of stocks is of great significance in quantitative finance. We introduce a new class models, "dynamical products of ex...
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...