62 search results - page 10 / 13 » A Dolev-Yao Model for Zero Knowledge |
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper proposes a novel framework to generate optimal passive gait trajectories for a planar one-legged hopping robot via iterative learning control. The proposed m...
ICRA
1993
IEEE
13 years 11 months ago
1993
IEEE
Accuracy of a machine is determined by its ability to position and orient a tool at a prescribed point. Usually this positioning is performed by positioning joints (actuators The ...
NCA
2002
IEEE
13 years 7 months ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
We present a direct adaptive controller for discrete-time (and thus sampled-data) systems that are possibly nonminimum phase. The adaptive control algorithm requires limited model ...
TSP
2010
13 years 2 months ago
2010
We propose a variance-component probabilistic model for sparse signal reconstruction and model selection. The measurements follow an underdetermined linear model, where the unknown...