2940 search results - page 310 / 588 » Relational Parametricity and Control |
143
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
150
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper addresses planning of continuous paths for mobile sensors to improve long-term forecast performance. With the information gain defined by the mutual information bet...
160
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we study the problem of dynamic optimization of ping schedule in an active sonar buoy network deployed to provide persistent surveillance of a littoral area throu...
188
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of resource constrained devices with very special features, suc...
207
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Unlike the terrestrial wireless networks that utilize the radio channel, underwater networks use the acoustic channel, which poses research challenges in the medium acc...