3384 search results - page 230 / 677 » More Testable Properties |
162
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
174
click to vote
ISCAS
2007
IEEE
16 years 26 days ago
2007
IEEE
— The unscented Kalman filter (UKF) has recently been proposed for filtering noisy chaotic signals. Though computationally advantageous, the UKF has not been thoroughly analyze...
163
click to vote
NDSS
2007
IEEE
16 years 26 days ago
2007
IEEE
The trend toward smaller botnets may be more dangerous than large botnets, in terms of large-scale attacks like distributed denials of service. We examine the possibility of “su...
180
click to vote
QEST
2007
IEEE
16 years 26 days ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
124
click to vote
SIPS
2007
IEEE
16 years 26 days ago
2007
IEEE
A hardware ef cient approach is introduced for elementary function evaluations in certain structured matrix computations. It is a comprehensive approach that utilizes lookup table...