3218 search results - page 119 / 644 » Timed Extensions for SDL |
155
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this study, we investigate online Bayesian estimation of the measurement noise density of a given state space model using particle filters and Dirichlet process mixtures. Diri...
152
click to vote
PERCOM
2011
ACM
14 years 8 months ago
2011
ACM
—We present a technique to discover the position of sensors on the human body. Automatic on-body device localization ensures correctness and accuracy of measurements in health an...
170
click to vote
CONCUR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
155
click to vote
ICC
2011
IEEE
14 years 4 months ago
2011
IEEE
— Anypath routing, a new routing paradigm, has been proposed to improve the performance of wireless networks by exploiting the spatial diversity and broadcast nature of the wirel...
126
click to vote
WSC
2004
15 years 5 months ago
2004
Existing research has defined a new type of simulation time called Approximate Time, where the simulation's knowledge about the values that represent time is uncertain. The a...