Market-based mechanisms can be used to coordinate self-interested multi-robot systems in fully distributed environments, where by self-interested we mean that each robot agent att...
The ability to achieve one’s goals is a defining characteristic of intelligent behaviour. A great many existing theories, systems and research programmes address the problems a...
— Off-pump Coronary Artery Bypass Grafting (CABG) is probably an important milestone in the cardiac surgery history. This technique is currently made possible thanks to the use o...
Wael Bachta, Pierre Renaud, Edouard Laroche, Anton...
In this paper, we propose a 2D visual motion estimation method which can be exploited to achieve a dynamic positioning (eg. by gaze control) with respect to a sea-bottom area of i...
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...