662 search results - page 91 / 133 » Trees, Automata and XML |
177
click to vote
DASFAA
2007
IEEE
16 years 10 days ago
2007
IEEE
Twig pattern matching problem has been widely studied in recent years. Give an XML tree T . A twig-pattern matching query, Q, represented as a query tree, is to find all the occur...
146
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
Document representations can rapidly become unwieldy if they try to encapsulate all possible document properties, ranging tract structure to detailed rendering and layout. We pres...
172
click to vote
ASE
2002
15 years 5 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
142
click to vote
IJFCS
2008
15 years 6 months ago
2008
We consider the problem of synchronizing the activity of all the membranes of a P system. After pointing at the connection with a similar problem dealt with in the field of cellul...
173
click to vote
TCS
2010
15 years 22 days ago
2010
The theorem of factorization forests of Imre Simon shows the existence of nested factorizations -- `a la Ramsey -- for finite words. This theorem has important applications in sem...