Sciweavers

1489 search results - page 182 / 298
» Monotonicity in Bayesian Networks
Sort
View
JSC
2010
100views more  JSC 2010»
15 years 1 months ago
An invariant-based approach to the verification of asynchronous parameterized networks
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
Igor V. Konnov, Vladimir A. Zakharov
CISS
2008
IEEE
16 years 1 months ago
Distributed interference pricing for OFDM wireless networks with non-separable utilities
—We present a distributed algorithm for allocating power among multiple interfering transmitters in a wireless network using Orthogonal Frequency Division Multiplexing (OFDM). Th...
Changxin Shi, Randall A. Berry, Michael L. Honig
APBC
2004
124views Bioinformatics» more  APBC 2004»
15 years 8 months ago
BRINet: A BioResource Integration Network
Addressing queries interactively to a chain of two or more biological resources is an everyday task for many scientists, as they use in-silico methods to characterize a biological...
Jason E. Sew Hoy, Alan F. McCulloch, John R. McDon...
MOR
2010
98views more  MOR 2010»
15 years 5 months ago
Sharing the Cost of a Capacity Network
We consider a communication network where each pair of users requests a connection guaranteeing a certain capacity. The cost of building capacity is identical across pairs. E cien...
Anna Bogomolnaia, Ron Holzman, Hervé Moulin
INFOCOM
2007
IEEE
16 years 1 months ago
On Node Isolation Under Churn in Unstructured P2P Networks with Heavy-Tailed Lifetimes
— Previous analytical studies [12], [18] of unstructured P2P resilience have assumed exponential user lifetimes and only considered age-independent neighbor replacement. In this ...
Zhongmei Yao, Xiaoming Wang, Derek Leonard, Dmitri...