2272 search results - page 203 / 455 » Validity Invariants and Effects |
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— This paper presents two novel estimation methods that are designed to enhance our ability of observing, positioning, and physically transforming the objects and/or biological s...
ICSM
2009
IEEE
14 years 5 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Delay tolerant Ad-hoc Networks leverage the mobility of relay nodes to compensate for lack of permanent connectivity and thus enable communication between nodes that are...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
— This article compares several parameterizations and motion models for improving the estimation of the nonlinear uncertainty distribution produced by robot motion. In previous w...
WASA
2009
Springer
14 years 5 months ago
2009
Springer
Wormhole attacks can negatively affect the localization in wireless sensor networks. A typical wormhole attack can be launched by two colluding external attackers, one of which sni...