Sciweavers

5 search results - page 1 / 1
» Earliest Query Answering for Deterministic Nested Word Autom...
Sort
View
FCT
2009
Springer
13 years 11 months ago
Earliest Query Answering for Deterministic Nested Word Automata
Olivier Gauwin, Joachim Niehren, Sophie Tison
MFCS
2009
Springer
13 years 11 months ago
Query Automata for Nested Words
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deï...
P. Madhusudan, Mahesh Viswanathan
PLANX
2008
13 years 6 months ago
Complexity of Earliest Query Answering with Streaming Tree Automata
We investigate the complexity of earliest query answering for n-ary node selection queries defined by streaming tree automata (STAs). We elaborate an algorithm that selects query ...
Olivier Gauwin, Anne-Cécile Caron, Joachim ...
IANDC
2011
91views more  IANDC 2011»
12 years 11 months ago
Queries on Xml streams with bounded delay and concurrency
Query answering algorithms on Xml streams check answer candidates on the fly in order to avoid the unnecessary buffering whenever possible. The delay and concurrency of a query ...
Olivier Gauwin, Joachim Niehren, Sophie Tison
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