A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
In the last decade, e-learning has been introduced to a variety of blended learning scenarios, such as life-long learning, University lectures, and game-based learning. In all the...
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
Abstract. Humans have the ability to flexibly adjust their information processing strategy according to situational characteristics. However, such ability has been largely overloo...
Multimodal grammars provide an expressive formalism for multimodal integration and understanding. However, handcrafted multimodal grammars can be brittle with respect to unexpecte...