1938 search results - page 251 / 388 » On Positive Relational Calculi |
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
Many automated static analysis (ASA) tools have been developed in recent years for detecting software anomalies. The aim of these tools is to help developers to eliminate software...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Tracking mobile targets using sensor networks is a challenging task because of the impacts of in-the-filed factors such as environment noise, sensing irregularity and etc. This...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Sensor network localization is an instance of the NP-HARD graph realization problem. Thus, methods used in practice are not guaranteed to find the correct localization, even if...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— In the growing field of collective robotics, spatial co-ordination between robots is often critical and usually achieved via local relative positioning sensors. We believe tha...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— We present an approach for smooth and collisionfree navigation of multiple mobile robots amongst each other. Each robot senses its surroundings and acts independently w...