2940 search results - page 218 / 588 » Relational Parametricity and Control |
169
click to vote
SACMAT
2003
ACM
15 years 12 months ago
2003
ACM
Role-based access control (RBAC) is recognized as an efficient access control model for large organizations. Most organizations have some business rules related to access control...
154
click to vote
IJRR
2002
15 years 6 months ago
2002
We study the simultaneous control of three dimensional translation and rotation of an underactuated multibody space robot using sliding masses that are configured as ideal prismat...
135
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we address a motion synchronization problem in SE(3) and present a novel passivity based visual feedback system. Though a passivity based control law to achieve ...
148
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
202
click to vote
JMLR
2006
15 years 6 months ago
2006
Policy search is a method for approximately solving an optimal control problem by performing a parametric optimization search in a given class of parameterized policies. In order ...