276 search results - page 36 / 56 » New Dynamic SPT Algorithm Based on a Ball-and-String Model |
RTAS
2002
IEEE
15 years 3 months ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...
DCOSS
2008
Springer
14 years 12 months ago
2008
Springer
When a sensor network is deployed in the field it is typically required to support multiple simultaneous missions, which may start and finish at different times. Schemes that match...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
104
click to vote
IWPC
2010
IEEE
14 years 8 months ago
2010
IEEE
—Data fusion is the process of integrating multiple sources of information such that their combination yields better results than if the data sources are used individually. This ...
79
Voted
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...