Sciweavers

3724 search results - page 194 / 745
» Timed regular expressions
Sort
View
PODS
2004
ACM
131views Database» more  PODS 2004»
16 years 4 months ago
On the Decidability of Containment of Recursive Datalog Queries - Preliminary report
The problem of deciding query containment has important applications in classical query optimization and heterogeneous database systems. Query containment is undecidable for unres...
Piero A. Bonatti
162
Voted
PERCOM
2004
ACM
16 years 4 months ago
An Adaptive Approach to Content-Based Subscription in Mobile Ad Hoc Networks
We describe a novel approach for content-based publish/subscribe system in mobile ad-hoc networks and show preliminary experiment results. We extended ODMRP (OnDemand Multicast Rou...
Eiko Yoneki, Jean Bacon
118
Voted
SDM
2009
SIAM
130views Data Mining» more  SDM 2009»
16 years 1 months ago
Grammar Mining.
We introduce the problem of grammar mining, where patterns are context-free grammars, as a generalization of a large number of common pattern mining tasks, such as tree, sequence ...
Luc De Raedt, Siegfried Nijssen
MFCS
2005
Springer
15 years 10 months ago
Concurrent Automata vs. Asynchronous Systems
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
Rémi Morin
BIRTHDAY
2004
Springer
15 years 10 months ago
On NFA Reductions
We give faster algorithms for two methods of reducing the number of states in nondeterministic finite automata. The first uses equivalences and the second uses preorders. We deve...
Lucian Ilie, Gonzalo Navarro, Sheng Yu