Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Moha...
Abstract. We have developed the system "DAWN" (direction anticipation in web navigation) that learns navigational patterns to help users navigating through the world wide...
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
Abstract— This paper presents a study on exploiting the redundancy of a seven-link manipulator to evolve obstacle avoidance skill at the elbow, subjected to endeffector working ...