BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
minor (5)
graph (4)
theorem (4)
grid (2)
law (2)

Stem exclud$ (all stems)

16 papers:

STOCSTOC-2015-Chuzhoy #grid #theorem
Excluded Grid Theorem: Improved and Simplified (JC), pp. 645–654.
SACSAC-2015-NonnenmacherOBV #modelling #process
Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
STOCSTOC-2014-KawarabayashiKK #graph #grid #problem #theorem
An excluded half-integral grid theorem for digraphs and the directed disjoint paths problem (KiK, YK, SK), pp. 70–78.
ICALPICALP-v1-2013-LeviR #graph
A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor (RL, DR), pp. 709–720.
STOCSTOC-2012-GroheM #graph #morphism #theorem
Structure theorem and isomorphism test for graphs with excluded topological subgraphs (MG, DM), pp. 173–192.
SACSAC-2011-SasakiOWKIH #web
Extracting preference terms from web browsing histories excluding pages unrelated to users’ interests (KS, MO, NW, MK, TI, MH), pp. 823–824.
LICSLICS-2010-Grohe #fixpoint #graph #polynomial
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors (MG), pp. 179–188.
LICSLICS-2007-DawarGK
Locally Excluding a Minor (AD, MG, SK), pp. 270–279.
ICPRICPR-v3-2006-AsanoTTTANTHM #using
Extraction of trabecular structures of mandible excluding tooth roots on dental panoramic radiographs using mathematical morphology (AA, TT, AT, CMA, TN, KT, TH, MM), pp. 988–991.
ICPRICPR-v3-2006-LiuZ
Minimum Enclosing and Maximum Excluding Machine for Pattern Description and Discrimination (YL, YFZ), pp. 129–132.
LICSLICS-2004-AkamaBHK
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (YA, SB, SH, UK), pp. 192–201.
CSLCSL-2002-ChernovSSV #logic
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle (AVC, DPS, EZS, NKV), pp. 74–88.
DACDAC-1994-GuptaP #named #termination
OTTER: Optimal Termination of Transmission Lines Excluding Radiation (RG, LTP), pp. 640–645.
DACDAC-1994-NagumoNNMM #fault #named #reduction #using
VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults (TN, MN, TN, MM, SM), pp. 510–515.
STOCSTOC-1993-KleinPR #composition #multi #network
Excluded minors, network decomposition, and multicommodity flow (PNK, SAP, SR), pp. 682–690.
STOCSTOC-1990-AlonST #graph #theorem
A Separator Theorem for Graphs with an Excluded Minor and its Applications (NA, PDS, RT), pp. 293–299.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.