915 search results - page 14 / 183 » Proof labeling schemes |
ENTCS
2006
13 years 7 months ago
2006
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...
TON
2008
13 years 7 months ago
2008
Most network operators have considered reducing LSR label spaces (number of labels used) as a way of simplifying management of underlaying Virtual Private Networks (VPNs) and there...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
—Ethernet is becoming the dominant aggregation technology for carrier transport networks; however, as it is a LAN technology, native bridged Ethernet does not fulfill all the ca...
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
We introduce a hierarchical labeling scheme called ORDPATH that is implemented in the upcoming version of Microsoft? SQL ServerTM. ORDPATH labels nodes of an XML tree without requ...
PODC
2005
ACM
14 years 1 months ago
2005
ACM
We consider four problems on distance estimation and object location which share the common flavor of capturing global information via informative node labels: low-stretch routin...