Sciweavers

662 search results - page 35 / 133
» Trees, Automata and XML
Sort
View
ASWEC
2007
IEEE
16 years 13 days ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
DASFAA
2004
IEEE
138views Database» more  DASFAA 2004»
15 years 9 months ago
Counting Relaxed Twig Matches in a Tree
Abstract. We consider the problem of accurately estimating the number of approximate XML answers for a given query, and propose an efficient method that (1) accurately computes sel...
Dongwon Lee, Divesh Srivastava
WEBDB
2001
Springer
160views Database» more  WEBDB 2001»
15 years 10 months ago
The Table and the Tree: On-Line Access to Relational Data through Virtual XML Documents
For speed and convenience, applications routinely cache XML data locally, and access it through standard parser (SAX) or tree (DOM) interfaces. When the source of this data is a r...
Philip Bohannon, Henry F. Korth, P. P. S. Narayan
LICS
2005
IEEE
15 years 11 months ago
Looping Caterpillars
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
Evan Goris, Maarten Marx
173
Voted
LICS
2007
IEEE
16 years 10 days ago
Alternation-free modal mu-calculus for data trees
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
Marcin Jurdzinski, Ranko Lazic