5699 search results - page 27 / 1140 » Alternating model trees |
ASPDAC
2010
ACM
14 years 9 months ago
2010
ACM
100
Voted
ACL
2010
14 years 9 months ago
2010
A characterization of the expressive power of synchronous tree-adjoining grammars (STAGs) in terms of tree transducers (or equivalently, synchronous tree substitution grammars) is...
94
Voted
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
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 ...
100
Voted
DBSEC
2006
15 years 9 days ago
2006
Most state-of-the-art approaches of securing XML documents are based on a partial annotation of an XML tree with security labels which are later propagated to unlabeled nodes of th...