Armelle Prigent

Learn More
In this paper, we tackle the problem of model-checking SDL programs that use the save operator. Previous work on model-checking SDL programs with SPIN consists in translating SDL into IF (using sdl2if) and nally IF to Promela (if2pml). Nevertheless the save operator of SDL is not handled by the ((nal) translator if2pml. W e p r o p o s e an extension of the(More)
This article evaluates different improvements of Laurent Itti's (Itti et al., 1998) visual attention model. Sixteen persons have participated in a qualitative evaluation protocol on a database of 48 images. Six different methods were evaluated, including a random fixations generation model. A real time conspicuity maps generation algorithm is also(More)
This paper deals with game analysis. We begin by the proposal of a terminology relevant to game scenario. Then, we propose an approach dedicated to analyze game scenarii. This approach consists in expressing a scenario by using a fragment of linear logic. This model is then translated into a Petri net model. This model allows us to generate the possible(More)
This paper presents a real time, low resource, head tracking system. This system is used for a broad range of applications, the simplest being the control of a car in an arcade racing game. Another use of this system is the improvement of the gameplay of an adventure game. A more advanced application is the detection of the player's attentional state using(More)
This paper presents a real time face tracking and head pose estimation system which is included in an attention aware game framework. This fast tracking system enables the detection of the player's attentional state using a simple attention model. This state is then used to adapt the game unfolding in order to enhance user's experience (in the case of(More)
  • 1