24 search results - page 2 / 5 » Horizontal Composability Revisited |
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract We revisit the classical QuickSort and QuickSelect algorithms, under a complexity model that fully takes into account the elementary comparisons between symbols composing ...
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
ESAW
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
ICARCV
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— This paper propose a method to achieve paddle juggling of a ball by a racket attached to a robot manipulator with two visual camera sensors. The proposed method is comp...
SODA
2000
ACM
13 years 7 months ago
2000
ACM
Given a set P of points in the first quadrant, a Rectilinear Steiner Arborescence (RSA) is a directed tree rooted at the origin, containing all points in P, and composed solely of...