Sciweavers

3718 search results - page 71 / 744
» Programming by Integration in Robotics
Sort
View
IFIP
2009
Springer
15 years 11 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
ICRA
2007
IEEE
165views Robotics» more  ICRA 2007»
15 years 11 months ago
Adaptive Sampling for Estimating a Scalar Field using a Robotic Boat and a Sensor Network
Abstract— This paper introduces an adaptive sampling algorithm for a mobile sensor network to estimate a scalar field. The sensor network consists of static nodes and one mobile...
Bin Zhang, Gaurav S. Sukhatme
IROS
2006
IEEE
138views Robotics» more  IROS 2006»
15 years 10 months ago
Hardware-in-the-loop Test Rig to Capture Aerial Robot and Sensor Suite Performance Metrics
Fully autonomous aerial robots are needed to accomplish near-Earth missions such as search and rescue, and bio-chemical sensing. Recent advances in sensor technologies ([6], [8], ...
Vefa Narli, Paul Y. Oh