1000 search results - page 104 / 200 » Dependency Tree Automata |
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
140
Voted
VECPAR
2004
Springer
15 years 6 months ago
2004
Springer
Binomial trees have been used extensively for broadcasting in clusters of workstations. In the case of heterogeneous nondedicated clusters and grid environments, the broadcasting o...
96
Voted
ENTCS
2007
15 years 23 days ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
96
Voted
COR
2004
15 years 20 days ago
2004
The multicasting is defined as the distribution of the same information stream from one to many nodes concurrently. There has been an intensive research effort to design protocols...
126
Voted
NETWORKS
2010
14 years 11 months ago
2010
We provide first-time fixed-parameter tractability results for the NP-complete problems Maximum Full-Degree Spanning Tree and Minimum-Vertex Feedback Edge Set. These problems are...