2273 search results - page 166 / 455 » On the Expressiveness and Complexity of ATL |
158
Voted
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
We propose a demonstration of Cayuga, a complex event monitoring system for high speed data streams. Our demonstration will show Cayuga applied to monitoring Web feeds; the demo w...
DCC
2002
IEEE
15 years 9 months ago
2002
IEEE
This contribution is concerned with a generalization of Itoh and Tsujii's algorithm for inversion in extension fields GF(qm ). Unlike the original algorithm, the method introd...
75
Voted
SODA
2010
ACM
15 years 7 months ago
2010
ACM
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...
88
Voted
ALDT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Complex Event Processing (CEP) is a powerful technology for supporting advanced event-processing scenarios at a higher level of ion. Because of its expressiveness, CEP allows promp...