Sciweavers

95 search results - page 1 / 19
» Adding Nesting Structure to Words
Sort
View
LICS
2007
IEEE
13 years 11 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
CSR
2007
Springer
13 years 11 months ago
Marrying Words and Trees
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
Rajeev Alur
MFCS
2009
Springer
13 years 12 months ago
Query Automata for Nested Words
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deï...
P. Madhusudan, Mahesh Viswanathan
IJBC
2010
105views more  IJBC 2010»
13 years 7 days ago
Calculation of bifurcation Curves by Map Replacement
The complex bifurcation structure in the parameter space of the general piecewise linear scalar map with a single discontinuity - nowadays known as nested period adding structure ...
Viktor Avrutin, Michael Schanz, Laura Gardini