Sciweavers

2162 search results - page 2 / 433
» Distributed Computation of Web Queries Using Automata
Sort
View
CONCUR
2010
Springer
13 years 3 months ago
On the Use of Non-deterministic Automata for Presburger Arithmetic
Abstract. A well-known decision procedure for Presburger arithmetic uses deterministic finite-state automata. While the complexity of the decision procedure for Presburger arithme...
Antoine Durand-Gasselin, Peter Habermehl
CONCUR
2006
Springer
13 years 6 months ago
Inference of Event-Recording Automata Using Timed Decision Trees
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
Olga Grinchtein, Bengt Jonsson, Paul Pettersson
DEBS
2010
ACM
12 years 11 months ago
Distributed structural and value XML filtering
Many XML filtering systems have emerged in recent years identifying XML data that structurally match XPath queries in an efficient way. However, apart from structural matching, it...
Iris Miliaraki, Manolis Koubarakis
ICAC
2006
IEEE
13 years 10 months ago
DotSlash: An Automated Web Hotspot Rescue System with On-demand Query Result Caching
Abstract— DotSlash is an automated web hotspot rescue system. This paper presents DotSlash Qcache services that allow a web site to use on-demand distributed query result caching...
Weibin Zhao, Henning Schulzrinne
BTW
2007
Springer
142views Database» more  BTW 2007»
13 years 10 months ago
Algebraic Query Optimization for Distributed Top-k Queries
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
Thomas Neumann, Sebastian Michel