Sciweavers

1066 search results - page 192 / 214
» A Wearable Communication Modulator
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
13 years 8 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
ML
2007
ACM
122views Machine Learning» more  ML 2007»
13 years 8 months ago
Status report: hot pickles, and how to serve them
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, inc...
Andreas Rossberg, Guido Tack, Leif Kornstaedt
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
13 years 7 months ago
Cooperative caging using autonomous aquatic surface vehicles
— We present a study on the use of cooperative robots to execute a caging mission on the water’s surface. In particular, we consider the problem of using two robotic boats (und...
Filippo Arrichiello, Hordur Kristinn Heidarsson, S...
ICRA
2010
IEEE
213views Robotics» more  ICRA 2010»
13 years 7 months ago
A switching control law for a networked visual servo control system
— In this paper, a novel switching controller is proposed for a networked visual servo control system with varying feedback delay due to image processing and data transmission. T...
Haiyan Wu, Chih-Chung Chen, Jiayun Feng, Kolja K&u...
SAB
2010
Springer
226views Optimization» more  SAB 2010»
13 years 7 months ago
Distributed Online Learning of Central Pattern Generators in Modular Robots
Abstract. In this paper we study distributed online learning of locomotion gaits for modular robots. The learning is based on a stochastic approximation method, SPSA, which optimiz...
David Johan Christensen, Alexander Spröwitz, ...