Sciweavers

1489 search results - page 182 / 298
» Monotonicity in Bayesian Networks
Sort
View
JSC
2010
100views more  JSC 2010»
14 years 11 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
15 years 11 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 5 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 2 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
15 years 10 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...