25156 search results - page 118 / 5032 » Applications for conscious systems |
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
ICCAD
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
AAAI
1997
13 years 11 months ago
1997
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...
JACIII
2006
13 years 10 months ago
2006
om which abstract features are extracted with image processing. The output of the system is the state of printing pressure, which is divided into 3 states: EXCESSIVE PRESSURE (EP),...
AAI
2010
13 years 5 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...