5639 search results - page 130 / 1128 » Timed Abstract Non-interference |
123
click to vote
DEDS
2010
15 years 1 months ago
2010
Abstract-- The problem of optimally controlling the processing rate of tasks in Discrete Event Systems (DES) with hard real-time constraints has been solved in [9] under the assump...
108
click to vote
INFORMATICALT
2008
15 years 1 months ago
2008
Abstract. A possibility to use the formant features (FF) in the user-dependent isolated word recognition has been investigated. The word recognition was performed using a dynamic t...
NECO
2008
15 years 1 months ago
2008
ns. We have previously developed an abstract dynamical system for networks of spiking neurons that has allowed us to identify the criterion for the stationary dynamics of a network...
121
click to vote
TIT
2008
15 years 1 months ago
2008
Abstract--Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation algorithm over the factor graph of the code. In the traditional messa...
102
click to vote
TNN
2008
15 years 1 months ago
2008
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...