12981 search results - page 2307 / 2597 » Model Checking (Abstract) |
130
click to vote
MCS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The computational genome-wide annotation of gene functions requires the prediction of hierarchically structured functional classes and can be formalized as a multiclass, ...
215
click to vote
MDM
2010
Springer
15 years 9 months ago
2010
Springer
Abstract—Location obfuscation using cloaking regions preserves location anonymity by hiding the true user among a set of other equally likely users. Furthermore, a cloaking regio...
113
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...
136
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— A central scheduling problem in wireless communications is that of allocating resources to one of many mobile stations that have a common radio channel. Much attention ...
145
click to vote
DCOSS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we present local distributed algorithms for constructing spanners in wireless sensor networks modeled as unit ball graphs (shortly UBGs) and quasi-unit ball...