12257 search results - page 482 / 2452 » Analysis of Algorithms |
139
Voted
TCS
2010
14 years 11 months ago
2010
In this paper we study some relevant prefixes of coloured Motzkin walks (otherwise called coloured Motzkin words). In these walks, the three kinds of step can have , and colours...
165
click to vote
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
140
Voted
VISUAL
1999
Springer
15 years 9 months ago
1999
Springer
TV commercials recognition is a need for advertisers in order to check the ful llment of their contracts with TV stations. In this paper we present an approach to this problem base...
144
Voted
STOC
2006
ACM
15 years 11 months ago
2006
ACM
We show that for any constant ε > 0, there is no Ω(log1−ε M)approximation algorithm for the directed congestion minimization problem on networks of size M unless NP ⊆ Z...
135
Voted
ISSAC
2005
Springer
15 years 10 months ago
2005
Springer
Over the past few decades several variations on a “half GCD” algorithm for obtaining the pair of terms in the middle of a Euclidean sequence have been proposed. In the integer...