2610 search results - page 339 / 522 » Computational Probabilistic Non-interference |
122
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
102
Voted
ADHOCNOW
2008
Springer
15 years 10 months ago
2008
Springer
Energy-efficient query dissemination plays an important role for the lifetime of sensor networks. In this work, we consider probabilistic flooding for query dissemination and deve...
109
Voted
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we introduce a novel contextual fusion method to improve the detection scores of semantic concepts in images and videos. Our method consists of three phases. For eac...
112
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a probabilistic framework where uncertainties can be considered in the mosaic building process. It is shown how can be used as an environment representation...
138
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...