1032 search results - page 6 / 207 » Extended Computation Tree Logic |
ACL
2010
14 years 7 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...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
ENTCS
2007
14 years 9 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
APCHI
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents StepTree, an information visualization tool designed for depicting hierarchies, such as directory structures. StepTree is similar to the hierarchy-visualization...
RECOMB
2007
Springer
15 years 10 months ago
2007
Springer