4666 search results - page 314 / 934 » Equations on Timed Languages |
148
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We demonstrate an ⍀( pn1ϩ1/p) lower bound on the average-case running time (uniform distribution) of p-pass Shellsort. This is the first nontrivial general lower bound for avera...
179
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
168
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
: To supply the financial engineering community with adequate and timely software support we advocate a reusability oriented approach to software development. The approach focuses ...
155
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
173
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Temporal patterns composed of symbolic intervals are commonly formulated with Allen's interval relations originating in temporal reasoning. This representation has severe dis...