Sciweavers

1720 search results - page 2 / 344
» Unranking Combinations in Parallel
Sort
View
141
Voted
LICS
2005
IEEE
15 years 10 months ago
Looping Caterpillars
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
Evan Goris, Maarten Marx
FSTTCS
2006
Springer
15 years 8 months ago
Branching Pushdown Tree Automata
We observe that pushdown tree automata (PTAs) known in the literature cannot express combinations of branching and pushdown properties. This is because a PTA processes the children...
Rajeev Alur, Swarat Chaudhuri
108
Voted
CW
2003
IEEE
15 years 10 months ago
Combining Polygonal and Subdivision Surface approaches to Modelling of Urban Environments
A. M. Day, David B. Arnold, Sven Havemann, Dieter ...
189
Voted
COORDINATION
2011
Springer
14 years 8 months ago
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flem...