3458 search results - page 461 / 692 » Abstracting Control |
134
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...
144
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
120
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...
147
Voted
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We propose a novel probabilistic framework to merge information from DWI tractography and resting-state fMRI correlations. In particular, we model the interaction of late...
116
Voted
P2P
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--As mobile Internet environments are becoming dominant, how to revamp P2P operations for mobile hosts is gaining more and more attention. In this paper, we carry out empir...