Sciweavers

837 search results - page 124 / 168
» Proof Development with OMEGA
Sort
View
TRIDENTCOM
2008
IEEE
14 years 4 months ago
DRIVE: a reconfigurable testbed for advanced vehicular services and communications
This paper introduces DRIVE, a reconfigurable demonstrator that will allow for experimental validation of vehicular networking research, as well as proof of concept and realistic ...
Carolina Pinart, Pilar Sanz, Iván Lequerica...
WECWIS
2008
IEEE
126views ECommerce» more  WECWIS 2008»
14 years 4 months ago
Planning and Pricing of Service Mashups
Today’s development and provision of commercially used Web services has shifted from providing static and predefined functionality to highly configurable services that can be ...
Benjamin Blau, Dirk Neumann, Christof Weinhardt, S...
IAT
2007
IEEE
14 years 4 months ago
Revisiting ADOPT-ing and its Feedback Schemes
Here we revisit ADOPT-ing and bring two new contributions. One contribution consists of developing variations on the algorithms keeping the improvement in length of chain of causa...
Marius-Calin Silaghi, Makoto Yokoo
IROS
2007
IEEE
138views Robotics» more  IROS 2007»
14 years 4 months ago
Tracking control for snake robot joints
— This paper considers the problem of model based control of the joints of a snake robot without wheels. The potential range of applications for snake robots are numerous, and de...
Aksel Andreas Transeth, Nathan van de Wouw, Alexey...
IROS
2007
IEEE
109views Robotics» more  IROS 2007»
14 years 4 months ago
A new approach to segmentation of 2D range scans into linear regions
— Toward obtaining a compact and multiresolution representation of 2D range scans, a wavelet framework is proposed for encoding an orientation measure called Running Angle (RA). ...
Ahad Harati, Roland Siegwart