1119 search results - page 190 / 224 » On the Invariance of Ant System |
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
WDAG
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract—Gravity balancing of industrial robots is an important issue because these robots may have massive links in order to manipulate large payloads. In this paper, we present...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Scan-matching based on data from a laser scanner is frequently used for mapping and localization. This paper presents an scan-matching approach based instead on visual informat...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
— We present an efficient method for automatically extracting unified amplitude/phase macromodels of arbitrary oscillators from their SPICE-level circuit descriptions. Such com...