Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed “word” can save user time and effort. In this paper, we study the problem of autocompletion not just at the level of a single “word”, but at the level of a multi-word “phrase”. There are two main challenges: one is that the number of phrases (both the number possible and...

We propose here a new approach to modelling user interfaces, based on the thesis that the linguistically motivated approach of dialogue modelling is often not entirely adequate. Instead of assuming a human dialogue type of interaction, the notion of manipulating an artificial environment is used as the base for modelling the interaction with graphical computer systems. Some linguistic ideas fro...

AJAX is a promising and rapidly evolving approach for building highly interactive web applications. In AJAX, user interface components and the event-based interaction between them form the founding elements, whereas in classic web applications the notions of web pages and hypertext links are central. Therefore modelling AJAX requires a different approach than what the current web modelling tool...

Kodkod, the backend of Alloy4, incorporates new features for solving models where part of the solution, that is, a partial instance, is already known. Although Kodkod has had this functionality for some time, it is not explicitly available to the modeller through the Alloy language syntax. We propose an extension to the Alloy language to make partial instances explicitly available to the Alloy ...

User modelling in Exploratory Learning Environments (ELEs) is an emerging field with several challenges to be addressed. Due to the freedom given to learners, the amount of information generated is very large, making the modelling process very challenging. Consequently, only relevant information should be used in the user modelling process. This, however, leads to other challenges such as ident...