Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
Abstract. Improving the game play in RoboCup middle size league requires a fast and robust visual robot detection system. The presented multilevel approach documents, that the comb...
Gerd Mayer, Ulrich Kaufmann, Gerhard K. Kraetzschm...
Pricing is considered a relevant way to control congestion and differentiate services in communication networks. Among all pricing schemes, auctioning for bandwidth has received a...
We discuss the affective aspects of tutoring dialogues in an ITS -called INES- that helps students to practice nursing tasks using a haptic device and a virtual environment. Specia...
Dirk Heylen, Maarten Vissers, Rieks op den Akker, ...
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...