3731 search results - page 381 / 747 » cases 2006 |
163
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
A navigation functions' based methodology, established in our previous work for centralized multiple robot navigation, is extended to address the problem of decentralized nav...
179
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper presents a distributed adaptive coordinated control method for multiple robot arms grasping a common object. The cases of rigid contact and rolling contact are analyzed...
198
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
158
click to vote
CCE
2006
15 years 6 months ago
2006
This paper studies the parameter estimation of a general multi-input, multi-output multi-rate system in the frequency-domain. Two methods, named dividing to subsystems and input e...
196
click to vote
CCR
2006
15 years 6 months ago
2006
We consider the uplink power control problem in a single cell CDMA wireless data system. Each user specifies upper and lower QoS bounds. We formulate the considered problem as a g...