1087 search results - page 198 / 218 » Achieving Distributed Control through Model Checking |
115
Voted
INFOCOM
2010
IEEE
15 years 19 days ago
2010
IEEE
—Throughput capacity in wireless ad hoc networks has been studied extensively under many different mobility models such as i.i.d. mobility model, Brownian mobility model, random ...
142
Voted
PG
2000
IEEE
15 years 6 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...
129
click to vote
ESANN
2008
15 years 3 months ago
2008
Our goal is proposing an unbiased framework for gene expression analysis based on variable selection combined with a significance assessment step. We start by discussing the need ...
122
Voted
IJRR
2002
15 years 1 months ago
2002
This paper investigates safe and efficient map-building strategies for a mobile robot with imperfect control and sensing. In the implementation, a robot equipped with a range sens...
130
Voted
NAS
2010
IEEE
15 years 18 days ago
2010
IEEE
—In greedy routing, each relay node forwards the message to a neighbor (also called successor) that is closer to the destination. However, the successor candidate set (SCS) is di...