6514 search results - page 220 / 1303 » Low-Knowledge Algorithm Control |
115
click to vote
ASPDAC
1998
ACM
15 years 6 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
158
click to vote
JAIR
2007
15 years 2 months ago
2007
In this paper we present a general, flexible framework for learning mappings from images to actions by interacting with the environment. The basic idea is to introduce a feature-...
122
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC poli...
104
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— The problem of sensor activation in a controlled discrete event system is considered. Sensors are assumed to be costly and can be turned on/off during the operation of the syst...
131
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper focuses on the dribbling control problem of an omnidirectional mobile robot. Because the movement of the dribbled object must be considered, dribbling contro...