3820 search results - page 445 / 764 » Bounded Model Debugging |
121
click to vote
MOBICOM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we study the broadcast capacity of multihop wireless networks which we define as the maximum rate at which broadcast packets can be generated in the network such th...
136
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— We study a fixed point formalisation of the well known analysis of Bianchi [3]. We provide a significant simplification and generalisation of the analysis. In this more gene...
118
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, we study cross-layer design for rate control in multihop wireless networks. In our previous work, we have developed an optimal cross-layered rate control scheme ...
137
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
122
Voted
COLT
2005
Springer
15 years 9 months ago
2005
Springer
We consider the problem of learning a hypergraph using edge-detecting queries. In this model, the learner may query whether a set of vertices induces an edge of the hidden hypergr...