Sciweavers

664 search results - page 7 / 133
» The tree Constraint
Sort
View
FSTTCS
2009
Springer
15 years 6 months ago
On Nondeterministic Unranked Tree Automata with Sibling Constraints
ABSTRACT. We continue the study of bottom-up unranked tree automata with equality and disequality constraints between direct subtrees. In particular, we show that the emptiness pro...
Christof Löding, Karianto Wong
COLING
2008
15 years 1 months ago
Underspecified Modelling of Complex Discourse Constraints
We introduce a new type of discourse constraints for the interaction of discourse relations with the configuration of discourse segments. We examine corpus-extracted examples as s...
Markus Egg, Michaela Regneri
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 10 days ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
SIGMOD
2008
ACM
127views Database» more  SIGMOD 2008»
14 years 11 months ago
Minimization of tree pattern queries with constraints
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...
Ding Chen, Chee Yong Chan
SAS
2001
Springer
15 years 4 months ago
Solving Regular Tree Grammar Based Constraints
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
Yanhong A. Liu, Ning Li, Scott D. Stoller