5377 search results - page 868 / 1076 » Programming Languages For Interactive Computing |
123
click to vote
ICALP
2009
Springer
16 years 3 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 ...
167
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. This paper deals with approximations of maximum independent sets in non-uniform hypergraphs of low degree. We obtain the first performance ratio that is sublinear in term...
133
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We consider repetitions in words and solve a longstanding open problem about the relation between the period and the length of its longest unbordered factor. A word u is called bor...
111
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
134
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...