24 search results - page 2 / 5 » Horizontal Composability Revisited |
104
Voted
ICALP
2009
Springer
16 years 2 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 ...
122
click to vote
APLAS
2007
ACM
15 years 5 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...
100
click to vote
ESAW
2006
Springer
15 years 5 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...
125
Voted
ICARCV
2006
IEEE
15 years 7 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...
119
Voted
SODA
2000
ACM
15 years 3 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...