This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
We present an intelligent storyboarding tool that takes as an stract annotated action specification to generate camera actions and geometric constraints for executing as a dynamic...
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn...