MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Labelled Splitting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

75 documents found, showing 1 through 10. Next 10 →

ATOM

Loop-Free Routing Using a Dense Label Set
by In Wireless Networks
… of on-demand routing protocols called Split Label Routing (SLR). The protocols guarantee loop…
Add To MetaCart

Statistical Synopses for Graph-Structured XML Databases
by Neoklis Polyzotis, Minos Garofalakis — 2002 — In SIGMOD
… algorithm constructs an XSKETCH synopsis by successive refinements of the label-split graph, the coarsest…
Cited by 35 (2 self) – Add To MetaCart

Labelled Clauses
by Tal Lev-ami, Christoph Weidenbach, Thomas Reps, Mooly Sagiv
….g., splitting. From a practical perspective, labelled clauses offer advantages in the case of related proof…
Cited by 1 (1 self) – Add To MetaCart

Automatic anatomical labeling of Talairach coordinates and generation of volumes of interest via
by Finn Årup Nielsen, Lars Kai Hansen — 2002
… extracted. Each anatomical label was split into all subsets of phrases, e.g., the string "midline occipital…
Cited by 1 (1 self) – Add To MetaCart

Usability methods, in
by F. ˚a. Nielsen, L. K. Hansen, U. Kjems — 1994 — Mack (Eds.), Usability Inspection Methods
… coordinatesÜas well as the anatomical label (BrainMap: “Lobar Anatomy”). Each anatomical label was split…
Cited by 1 (0 self) – Add To MetaCart

and MINOS GAROFALAKIS
by Neoklis Polyzotis
… algorithm constructs an XSKETCH synopsis in a top-down fashion, by successive refinements of the label-split…
Add To MetaCart

Uniform Variable Splitting
by Roger Antonsen — 2007 — In Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004
… such that no two indices are �-related. A formula occurrence is decorated when it is labeled with a splitting set…
Cited by 2 (0 self) – Add To MetaCart

Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
by A. Yakovlev — 1995 — Formal Methods in System Design
… of the so-called label splitting . Label splitting is the procedure that incrementally 4 distinguishes…
Cited by 13 (9 self) – Add To MetaCart

XSEED: Accurate and fast cardinality estimation for XPath queries
by Ning Zhang, M. Tamer, Özsu Ashraf, Aboulnaga Ihab, F. Ilyas — 2006 — In to appear Proc. 22nd Int. Conf. on Data Engineering (ICDE
…, we only introduce the label-split graph [6], which is the basis of the XSEED kernel. Definition 3…
Cited by 10 (0 self) – Add To MetaCart

Fast Incremental Planarity Testing
by Jeffery Westbrook — 1992 — 19 th International Colloquium on Automata, Languages and Programming (ICALP), volume 623 of LNCS
… lines represent virtual edges; each is labeled by the split that produced it. 1 The Decomposition Tree…
Cited by 15 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB