1690 search results - page 96 / 338 » Algorithmic Properties of Millstream Systems |
103
Voted
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...
133
Voted
AAAI
2008
15 years 6 months ago
2008
Diagnosability is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. An unobservable fault event in...
165
click to vote
JAR
2000
15 years 4 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
158
click to vote
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper, we present a new Doppler spread estimation algorithm for broadband wireless orthogonal frequency division multiplexing (OFDM) systems with time-varying a...
126
click to vote
ACNS
2005
Springer
15 years 9 months ago
2005
Springer
Digital signature systems provide a way to transfer trust from the public key to the signed data; this is used extensively within PKIs. However, some applications need a transfer o...