2067 search results - page 122 / 414 » Logics of propositional control |
156
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
96
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
119
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
– A two-layer fuzzy logic controller has been designed for 2-D autonomous navigation of a skid steering vehicle in an obstacle filled environment. The first layer of the fuzzy co...
110
Voted
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a new blocking logic to block unknowns for temporal compactors. The proposed blocking logic can reduce data volume required to control the blocking logic and a...
123
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...