1054 search results - page 75 / 211 » From a Verified Kernel towards Verified Systems |
161
click to vote
IROS
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract - In this paper, we have developed not only a probabilistic sound localization system including VAD (Voice Activity Detection) component using three microphones but also a...
136
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...
195
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...
118
click to vote
USS
2008
15 years 8 months ago
2008
There are many advantages to voting schemes in which voters rank all candidates in order, rather than just choosing their favourite. However, these schemes inherently suffer from ...
189
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....