In this document, we give a more detailed explanation of the accuracy (ACC) vs. frequency-of-use (FOU) metric introduced in the main paper. We show the ACC vs. FOU curves for a human user1 as well as automatic failure prediction using our specification sheets. The area under these curves were reported in Tables 2 and 3 in the main paper (and are replicated here in Tables 1 and 2). Recall that o...

This article studies a specific kind of change in an argumentation system which has been little studied so far : the removal of an argument and its interactions. To support our approach, we present an example that underlines the interest of removing an argument. Then, we present Dung’s argumentation formal framework and introduce the expansive, narrowing and monotonic change notions. These noti...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

This paper demonstrates that multi-agent systems have the capacity to model a region in all its complexity. An example is developed to show that these tools are not only capable of spatializing and distributing the behaviour of individuals, but above all, that they allow individuals to integrate different perceptions of space as well as the constraints imposed on them by a community. A dialecti...

L’introduction des jeux-vidéo sérieux comme soutiens pédagogiques dans le domaine de l’enseignement est un processus de plus en plus démocratisé. En parallèle de cette introduction, la recherche en ”game studies” représente une discipline académique très active qui s’intéresse à l’analyse des systèmes vidéoludiques complexes, notamment en ce qui concerne la compréhension de l’expérience des jou...

In ebXML the choreography of a business process should be modeled by UMM (UN/CEFACT Modeling Methodology) and is finally expressed in BPSS (Business Process Specification Schema). Our analysis of UMM and BPSS by workflow patterns shows that their expression power is not always equivalent. We use the workflow patterns to specify the transformation from UMM to BPSS where possible. Furthermore, th...

In this paper a methodology is presented to generate webforms for business documents directly from XML schemas. XML Schemas that are based on the UN/CEFACT Naming and Design Rules may be maintained by industry organizations or negotiated bilaterally between trading partners. In details, schemas may differ per business partner and process implementation, and change over time. The usability of sc...

Time cues are ubiquitous in language and the ability to interpret them is essential for understanding events during discourse comprehension. Temporal markers that signal ongoing versus completed events, like the progressive and simple past tense, prompt distinct mental event representations. However, the detailed properties of ongoing event representations remain unexplored. Drawing from both t...