2137 search results - page 182 / 428 » Proving Abstract Non-interference |
112
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— While peer-to-peer consensus algorithms have enviable robustness and locality for distributed estimation and computation problems, they have poor scaling behavior with ...
111
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish...
116
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
131
click to vote
IJCNN
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Almost all learning machines used in computational intelligence are not regular but singular statistical models, because they are nonidentifiable and their Fisher info...
124
Voted
IJCNN
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper proposes an approach to learn subjectindependent P300 models for EEG-based brain-computer interfaces. The P300 models are first learned using a pool of exis...