BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
word (9)
hierarchi (7)
pushdown (7)
automata (5)
infer (4)

Stem collaps$ (all stems)

51 papers:

HCIHCI-UC-2015-NakanishiTUYS #safety
Fukushima No. 1 Nuclear Power Plant: The Moment of “Safety Myth” Collapses (AN, TT, HU, MY, DS), pp. 350–357.
KDDKDD-2015-SatoN #online #probability
Stochastic Divergence Minimization for Online Collapsed Variational Bayes Zero Inference of Latent Dirichlet Allocation (IS, HN), pp. 1035–1044.
CADECADE-2015-SakaiOO #confluence
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (MS, MO, MO), pp. 111–126.
LICSLICS-2015-CarvalhoMM #algebra #complexity
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP (CC, FRM, BM), pp. 462–474.
LATALATA-2013-Ong #automaton #higher-order #model checking #recursion
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking (LO), pp. 13–41.
ICFPICFP-2013-BroadbentCHS #approach #higher-order #named #verification
C-SHORe: a collapsible approach to higher-order verification (CHB, AC, MH, OS), pp. 13–24.
KDDKDD-2013-FouldsBDSW #probability
Stochastic collapsed variational Bayesian inference for latent Dirichlet allocation (JRF, LB, CD, PS, MW), pp. 446–454.
ICALPICALP-v2-2012-Broadbent #automaton
Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata (CHB), pp. 153–164.
ICALPICALP-v2-2012-BroadbentCHS #automaton
A Saturation Method for Collapsible Pushdown Systems (CHB, AC, MH, OS), pp. 165–176.
CHICHI-2012-TomlinsonSPPB #human-computer
Collapse informatics: augmenting the sustainability & ICT4D discourse in HCI (BT, MSS, DJP, YP, EB), pp. 655–664.
Rethinking Collapsed Variational Bayes Inference for LDA (IS, HN), p. 101.
KDDKDD-2012-SatoKN #process
Practical collapsed variational bayes inference for hierarchical dirichlet process (IS, KK, HN), pp. 105–113.
Collapsing non-idempotent intersection types (TE), pp. 259–273.
CSLCSL-2012-Parys #automaton
Variants of Collapsible Pushdown Systems (PP), pp. 500–515.
LICSLICS-2012-CarayolS #automaton #effectiveness #equivalence #recursion #safety
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (AC, OS), pp. 165–174.
LICSLICS-2012-Parys #on the
On the Significance of the Collapse Operation (PP), pp. 521–530.
DLTDLT-2011-CherubiniFP #word
Short 3-Collapsing Words over a 2-Letter Alphabet (AC, AF, BP), pp. 469–471.
CSLCSL-2011-Kartzow #automaton #graph
A Pumping Lemma for Collapsible Pushdown Graphs of Level 2 (AK), pp. 322–336.
STOCSTOC-2010-DellM #polynomial #satisfiability
Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses (HD, DvM), pp. 251–260.
KDDKDD-2008-PorteousNIASW #performance
Fast collapsed gibbs sampling for latent dirichlet allocation (IP, DN, ATI, AUA, PS, MW), pp. 569–577.
KDDKDD-2008-WalkerR #clustering #documentation #modelling
Model-based document clustering with a collapsed gibbs sampler (DDW, EKR), pp. 704–712.
CSLCSL-2008-BeyersdorffM #bound
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic (OB, SM), pp. 199–214.
LICSLICS-2008-HagueMOS #automaton #recursion
Collapsible Pushdown Automata and Recursion Schemes (MH, ASM, CHLO, OS), pp. 452–461.
DATEDATE-2006-KaneMS #pipes and filters #verification
Monolithic verification of deep pipelines with collapsed flushing (RK, PM, SKS), pp. 1234–1239.
DLTDLT-J-2005-AnanichevPV06 #word
Collapsing Words: a Progress Report (DSA, IVP, MVV), pp. 507–518.
DLTDLT-J-2005-Pribavkina06 #on the #word
On some Properties of the Language of 2-collapsing Words (EVP), pp. 665–676.
CSLCSL-2006-BodirskyC #constraints #quantifier
Collapsibility in Infinite-Domain Quantified Constraint Satisfaction (MB, HC), pp. 197–211.
Collapsing Closures (XL, AK, LL), pp. 148–162.
DATEDATE-2005-SandireddyA #detection #fault #multi
Diagnostic and Detection Fault Collapsing for Multiple Output Circuits (RKKRS, VDA), pp. 1014–1019.
DLTDLT-2005-AnanichevPV #word
Collapsing Words: A Progress Report (DSA, IVP, MVV), pp. 11–21.
DLTDLT-2005-Pribavkina #on the #word
On Some Properties of the Language of 2-Collapsing Words (EVP), pp. 374–384.
LCTESLCTES-2005-SassoneWL #dependence #embedded #performance
Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.
CADECADE-2005-GodoyT #linear #term rewriting #termination
Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules (GG, AT), pp. 164–176.
DATEDATE-v1-2004-PomeranzR #fault #metric #similarity
Level of Similarity: A Metric for Fault Collapsing (IP, SMR), pp. 56–61.
IWPCIWPC-2004-StoermerOV #architecture
Architectural Views through Collapsing Strategies (CS, LO, CV), pp. 100–110.
DLTDLT-2002-AnanichevCV #algorithm #automaton #word
An Inverse Automata Algorithm for Recognizing 2-Collapsing Words (DSA, AC, MVV), pp. 270–282.
DLTDLT-2001-AnanichevV #word
Collapsing Words vs. Synchronizing Words (DSA, MVV), pp. 166–174.
ICALPICALP-2001-CaiJ #algorithm
Subexponential Parameterized Algorithms Collapse the W-Hierarchy (LC, DWJ), pp. 273–284.
CSLCSL-2001-Schweikardt #database #order
The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group (NS), pp. 130–144.
LICSLICS-2001-ArnoldLM #infinity #monad
The Hierarchy inside Closed Monadic Σ₁ Collapses on the Infinite Binary Tree (AA, GL, JM), pp. 157–166.
CSCWCSCW-2000-Putnam #community
Bowling alone: the collapse and revival of American community (RDP), p. 357.
STOCSTOC-1999-KlivansM #graph #morphism #polynomial #proving
Graph Nonisomorphism has Subexponential Size Proofs Unless the Polynomial-Time Hierarchy Collapses (AK, DvM), pp. 659–667.
DATEDATE-1998-ChatzigeorgiouN #effectiveness
Collapsing the Transistor Chain to an Effective Single Equivalent Transistor (AC, SN), pp. 2–6.
Netscape Communicator’s Collapsible Toolbars (IA, SL), pp. 81–86.
The PL Hierarchy Collapses (MO), pp. 84–88.
New Collapse Consequences of NP Having Small Circuits (JK, OW), pp. 196–207.
DATEEDAC-1994-HahnKB #approach #fault
A Hierarchical Approach to Fault Collapsing (RH, RK, BB), pp. 171–176.
Collapsing Degrees via Strong Computation (Extended Abstract) (LAH, AH), pp. 393–404.
STOCSTOC-1987-Hemachandra #exponential
The Strong Exponential Hierarchy Collapses (LAH), pp. 110–122.
The Logarithmic Alternation Hierarchy Collapses: AΣᴸ₂=AΠᴸ₂ (KJL, BJ, BK), pp. 531–541.
CADECADE-1986-Tiden #set #unification
Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols (ET), pp. 431–449.

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.