Sciweavers

5326 search results - page 660 / 1066
» On what we can ensure
Sort
View
211
Voted
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
16 years 1 months ago
Online trajectory generation in an amphibious snake robot using a lamprey-like central pattern generator model
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
Auke Jan Ijspeert, Alessandro Crespi
IROS
2007
IEEE
135views Robotics» more  IROS 2007»
16 years 1 months ago
Power-SLAM: A linear-complexity, consistent algorithm for SLAM
— In this paper, we present an Extended Kalman Filter (EKF)-based estimator for simultaneous localization and mapping (SLAM) with processing requirements that are linear in the n...
Esha D. Nerurkar, Stergios I. Roumeliotis
ADBIS
2007
Springer
98views Database» more  ADBIS 2007»
16 years 1 months ago
CUDL Language Semantics, Liven Up the FDB Data Model
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
Nikitas Karanikolas, Maria Nitsiou, Emmanuel J. Ya...
COORDINATION
2007
Springer
16 years 1 months ago
Component Connectors with QoS Guarantees
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moo...
FC
2007
Springer
111views Cryptology» more  FC 2007»
16 years 1 months ago
A Privacy-Protecting Multi-Coupon Scheme with Stronger Protection Against Splitting
A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for some goods or services. Nguyen (FC 2006), deepening the ideas of Chen et...
Liqun Chen, Alberto N. Escalante, Hans Löhr, ...