3991 search results - page 714 / 799 » Bounding homogeneous models |
PIMRC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--In two-tier networks consisting of a macrocell overlaid with femtocells in co-channel deployment and closed-access policy, spatial reuse is achieved at the price of sever...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
ICITS
2009
13 years 5 months ago
2009
In a multisecret sharing scheme, several secret values are distributed among a set of n users, and each secret may have a different associated access structure. We consider here un...
BCSHCI
2009
13 years 5 months ago
2009
Online communities of different types have become an important part of the daily internet life of many people within the last couple of years. Both research and business have show...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Statistical modeling of images plays a crucial role in modern image processing tasks like segmentation, object detection and restoration. Although Gaussian distributions are conve...