2067 search results - page 158 / 414 » Logics of propositional control |
107
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
115
click to vote
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a thorough evaluation of grid map based sensor fusion algorithms for mapping the environment of a mobile robot. Three physical sensors were used for creating t...
113
click to vote
SCL
2010
14 years 8 months ago
2010
The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...
149
click to vote
KI
1998
Springer
15 years 6 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
142
click to vote
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...