590 search results - page 29 / 118 » Debugging Program Loops Using Approximate Modeling |
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper we present a system that uses only vision to land a UAV on a runway. We describe a method for estimating the relative location of the runway as an image by perfor...
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
We present an overview of FAB-MAP, an algorithm for place recognition and mapping developed for infrastructure-free mobile robot navigation in large environments. The system allow...
AUTOMATICA
2005
14 years 9 months ago
2005
It has been argued that the frequency domain accuracy of high model-order estimates obtained on the basis of closed loop data is largely invariant to whether direct or indirect ap...