3342 search results - page 144 / 669 » Automating Abstract Interpretation |
ICRA
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract— We have demonstrated that a properlyequipped mobile robot can easily construct a detailed map of the wireless coverage of an urban environment. The Autonomous Vehicle f...
NOMS
2000
IEEE
15 years 3 months ago
2000
IEEE
Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficien...
ISER
1999
Springer
15 years 3 months ago
1999
Springer
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
ARCS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
AISC
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...