The idea of linked programs, or procedural RDF metadata, has not been deeply explored. This paper introduces a dedicated scripting language for linked data, called Ripple, whose pr...
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
The main aim of this paper is to raise awareness of higherorder knowledge (knowledge about someone else's knowledge) as an issue for computer game AI. We argue that a number ...
Andreas Witzel, Jonathan A. Zvesper, Ethan Kennerl...
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
Denis Pallez, Philippe Collard, Thierry Baccino, L...
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...