Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
This poster describes a framework that automatically generates learning support scaffolds to guide task-based learning. The aim is to combine the exploratory learning principles p...
— This paper addresses high-level robot planning issues for an interactive cognitive robot that has to act in presence or in collaboration with a human partner. We describe a tas...
As more and more organisations and institutions are moving towards the e-learning strategy, more and more disparate data are distributed by different e-learning systems. How to ef...
— The concept of a mobile haptic interface for bimanual manipulations in 6 d.o.f. is presented. The design of this mobile haptic interface is based on a modular system consisting...