Sciweavers

662 search results - page 47 / 133

» Trees, Automata and XML

96

CORR
2008
Springer

76views Education» more CORR 2008»

Alternating Automata on Data Trees and XPath Satisfiability

15 years 6 months ago

Alternating Automata on Data Trees and XPath Satisfiability

Download tocl.acm.org

Marcin Jurdzinski, Ranko Lazic

claim paper

Read More »

122

FUIN
2008

80views more FUIN 2008»

Products of Tree Automata with an Application to Temporal Logic

15 years 6 months ago

Products of Tree Automata with an Application to Temporal Logic

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

151

FUIN
2008

72views more FUIN 2008»

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

15 years 5 months ago

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

138

JACM
2010

99views more JACM 2010»

Transitive closure logic, nested tree walking automata, and XPath

15 years 4 months ago

Transitive closure logic, nested tree walking automata, and XPath

Download www.lsv.ens-cachan.fr

Balder ten Cate, Luc Segoufin

claim paper

Read More »

289

Voted

ICDE
2008
IEEE

137views Database» more ICDE 2008»

XML Prefiltering as a String Matching Problem

16 years 7 months ago

XML Prefiltering as a String Matching Problem

Download www.informatik.uni-freiburg.de

We propose a new technique for the efficient search and navigation in XML documents and streams. This technique takes string matching algorithms designed for efficient keyword sear...

Christoph Koch, Stefanie Scherzinger, Michael Schm...

claim paper

Read More »

« Prev « First page 47 / 133 Last » Next »