-
Global and configurable model for crowd control in behaviour animation
The realism of crowd behavioral animation is based on one hand on a rendering of graphic scenes generated by the application, and on the other hand on the realism of... -
Conception et implantation d'un modèle de raisonnement sur les contextes basé...
This approach suggests a possible solution for the following issue : how to formalize environments related to a given process and how to exploit the information they... -
Les transformations actuelles de l'évaluation de l'enseignement par les étudi...
International audience -
Un système d'argumentation avec contextes et indicateurs pour analyser un dis...
This paper proposes a formal method to evaluate a short food supply chain. It is based on argumentation and introduces an analytical argumentation system which uses... -
Towards automated proofs of observational properties
International audience -
Monsters begat by quantifiers?
It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive...
