Sciweavers

1351 search results - page 98 / 271
» A Possible Approach to the Development of Robotic Multi-Agen...
Sort
View
SASO
2008
IEEE
16 years 11 days ago
A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems
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...
MyungJoo Ham, Gul A. Agha
AI
2011
Springer
15 years 1 months ago
A survey of motivation frameworks for intelligent systems
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...
Nick Hawes
IROS
2007
IEEE
134views Robotics» more  IROS 2007»
16 years 8 days ago
Design and control of a new active cardiac stabilizer
— 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...
ICRA
1998
IEEE
121views Robotics» more  ICRA 1998»
15 years 10 months ago
Real-Time Estimation of Dominant Motion in Underwater Video Images for Dynamic Positioning
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...
Fabien Spindler, Patrick Bouthemy
TYPES
1995
Springer
15 years 9 months ago
A Natural Deduction Approach to Dynamic Logic
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,...
Furio Honsell, Marino Miculan