Abstract— Landmark-based graphs are a useful and parsimonious tool for representing large scale environments. Relating landmarks by means of feedback-control algorithms encoded i...
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
The use of the Plan Recognition/Plan Generation paradigm in the context of corporate training is discussed. The learning environment is grounded on three-level conceptual schemas ...
Making learning part of life is an essential challenge for inventing the future of our societies. Lifelong learning is a necessity rather than a possibility or a luxury to be cons...