3724 search results - page 298 / 745 » Timed regular expressions |
200
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Recently, the cyclic association rules have been introduced in order to discover rules from items characterized by their regular variation over time. In real life situations, temp...
240
click to vote
ALGORITHMICA
2011
15 years 1 months ago
2011
Abstract Given k permutations of n elements, a k-tuple of intervals of these permutations consisting of the same set of elements is called a common interval. We present an algorith...
213
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
168
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...
157
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Decision-support applications generate queries with complex predicates. We show how the factorization of complex query expressions exposes significant opportunities for exploiting...