3047 search results - page 222 / 610 » A Temporal Consensus Model |
168
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
160
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
152
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Harmonic + Noise model (HNM) is a hybrid model of speech with a harmonic component and a noise component. While harmonic part describes efficiently the periodicities in speech si...
171
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Robust ego-motion estimation in urban environments is a key prerequisite for making a robot truly autonomous, but is not easily achievable as there are two motions invo...
177
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
In this work, we address Byzantine agreement in a message passing system with homonyms, i.e. a system with a number l of authenticated identities that is independent of the total ...