3979 search results - page 126 / 796 » Wild control operators |
SEKE
1994
Springer
15 years 2 months ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
IWANN
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a three degrees of freedom orientation tracker as suitable controlling equipment for an automated wheelchair. Mounted at the back of an operator’s head by the...
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper reports preliminary experiments with a provably correct model-based adaptive robot control algorithm for simultaneous position and force trajectory tracking of a robot ...
WSC
2008
15 years 9 days ago
2008
We present aspects of a simulated based system for analyzing and designing production control systems. The core of the system is a simulation of a manufacturing system operating w...
107
click to vote
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...