Sciweavers

5012 search results - page 887 / 1003
» Distributed Error Correction
Sort
View
IJCSA
2006
95views more  IJCSA 2006»
15 years 4 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
CORR
2007
Springer
94views Education» more  CORR 2007»
15 years 4 months ago
Universal Quantile Estimation with Feedback in the Communication-Constrained Setting
Abstract— We consider the following problem of decentralized statistical inference: given i.i.d. samples from an unknown distribution, estimate an arbitrary quantile subject to l...
Ram Rajagopal, Martin J. Wainwright
119
Voted
CSDA
2007
151views more  CSDA 2007»
15 years 4 months ago
Robust semiparametric mixing for detecting differentially expressed genes in microarray experiments
An important goal of microarray studies is the detection of genes that show significant changes in observed expressions when two or more classes of biological samples such as tre...
Marco Alfò, Alessio Farcomeni, Luca Tardell...
JSAC
2008
139views more  JSAC 2008»
15 years 4 months ago
A Game-Theoretic Framework for Medium Access Control
In this paper, we generalize the random access game model, and show that it provides a general game-theoretic framework for designing contention based medium access control. We ext...
Tao Cui, Lijun Chen, Steven H. Low
JMLR
2006
118views more  JMLR 2006»
15 years 4 months ago
Learning Factor Graphs in Polynomial Time and Sample Complexity
We study the computational and sample complexity of parameter and structure learning in graphical models. Our main result shows that the class of factor graphs with bounded degree...
Pieter Abbeel, Daphne Koller, Andrew Y. Ng