4693 search results - page 729 / 939 » Verifying Hybrid Systems |
149
click to vote
ICRA
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...
139
click to vote
ICRA
2008
IEEE
16 years 11 days ago
2008
IEEE
—Terrain variations can greatly influence autonomous ground vehicle (AGV) performance. However, if the terrain is properly identified, the AGV control systems can be adjusted to ...
176
click to vote
INFOCOM
2008
IEEE
16 years 10 days ago
2008
IEEE
—This paper studies window flow control focusing on bridging the gap between microscopic factors such as burstiness in sub-RTT timescales, and observable macroscopic properties ...
168
click to vote
MIAR
2008
IEEE
16 years 10 days ago
2008
IEEE
The accurate segmentation of liver vessels is an important prerequisite for creating oncologic surgery planning tools as well as medical visualization applications. In this paper, ...
173
click to vote
AINA
2007
IEEE
16 years 9 days ago
2007
IEEE
— Quality of Service (QoS) of disadvantaged networks is usually considered from a purely network standpoint in existing works. Adversarial intervention in such networks is not an...