This paper presents early work on the "Jots" system, integrated with the Scratch programming environment, which aims to help learners reflect on their learning processes...
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Real-time search methods are suited for tasks in which the agent is interacting with an initially unknown environment in real time. In such simultaneous planning and learning prob...
—In this paper we describe our approach whose objective is to apply MOCOCO concepts to e-learning. After a short presentation of MOCOCO (Mobility, COoperation, Contextua-lisation...
To navigate in unknown environments, mobile robots require the ability to build their own maps. A major problem for robot map building is that odometry-based dead reckoning cannot ...