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:
problem (11)
languag (10)
regular (10)
logic (7)
equat (7)

Stem membership$ (all stems)

62 papers:

CIAACIAA-2015-Madejski #linear #permutation #problem
The Membership Problem for Linear and Regular Permutation Languages (GM), pp. 211–223.
ICMLICML-2015-VirtanenG #modelling
Ordinal Mixed Membership Models (SV, MG), pp. 588–596.
ICMLICML-2015-ZhangP #markov #modelling
Markov Mixed Membership Models (AZ, JP), pp. 475–483.
LATALATA-2014-IbarraR #on the #problem
On the Parikh Membership Problem for FAs, PDAs, and CMs (OHI, BR), pp. 14–31.
LATALATA-2014-MazadiGZ #pattern matching
Distinguishing Pattern Languages with Membership Examples (ZM, ZG, SZ), pp. 528–540.
CHICHI-2014-ZhuKK #community #online
The impact of membership overlap on the survival of online communities (HZ, REK, AK), pp. 281–290.
KDDKDD-2014-KloumannK #community #identification #set
Community membership identification from small seed sets (IMK, JMK), pp. 1366–1375.
ECIRECIR-2013-WeberHS
From Republicans to Teenagers — Group Membership and Search (GRUMPS) (IW, DH, PS), pp. 886–889.
KDDKDD-2013-AhmedS #modelling #parametricity #scalability
The dataminer’s guide to scalable mixed-membership and nonparametric bayesian models (AA, AJS), p. 1529.
LATALATA-2012-Hovland #constraints #problem #regular expression
The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints (DH), pp. 313–324.
ICMLICML-2012-KimL #graph #multi
Latent Multi-group Membership Graph Model (MK, JL), p. 124.
ICDARICDAR-2011-ImpedovoP11a #exponential #recognition
Tuning between Exponential Functions and Zones for Membership Functions Selection in Voronoi-Based Zoning for Handwritten Character Recognition (SI, GP), pp. 997–1001.
STOCSTOC-2011-AryaFM #approximate #query
Approximate polytope membership queries (SA, GDdF, DMM), pp. 579–586.
DLTDLT-2011-Kasprzik #automaton #finite #query
Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data (AK), pp. 476–477.
STOCSTOC-2010-VerbinZ #bound #memory management
The limits of buffering: a tight lower bound for dynamic membership in the external memory model (EV, QZ), pp. 447–456.
AFLAFL-J-2008-Lohrey10 #automaton #problem #regular expression
Compressed Membership Problems for Regular Expressions and Hierarchical Automata (ML), pp. 817–841.
CIKMCIKM-2010-LiSWZD #approximate #locality
Approximate membership localization (AML) for web-based join (ZL, LS, LW, XZ, XD), pp. 1321–1324.
ICMLICML-2010-MackeyWJ #matrix
Mixed Membership Matrix Factorization (LWM, DJW, MIJ), pp. 711–718.
ICPRICPR-2010-ImpedovoMP #recognition
Membership Functions for Zoning-Based Recognition of Handwritten Digits (SI, RM, GP), pp. 1876–1879.
WRLAWRLA-2008-LucasM09 #equation #order #source code #termination
Operational Termination of Membership Equational Programs: the Order-Sorted Way (SL, JM), pp. 207–225.
LATALATA-2009-LimayeM #automaton #multi #testing
Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata (NL, MM), pp. 493–504.
ICEISICEIS-J-2009-SoonthornphisajT #self
A Self-tuning of Membership Functions for Medical Diagnosis (NS, PT), pp. 275–286.
ICMLICML-2009-FuSX #evolution #network
Dynamic mixed membership blockmodel for evolving networks (WF, LS, EPX), pp. 329–336.
SACSAC-2009-GarciaBG #estimation
Cross-layer cooperation between membership estimation and routing (JCG, SB, PG), pp. 8–15.
SIGMODSIGMOD-2008-ChakrabartiCGX #approximate #performance
An efficient filter for approximate membership checking (KC, SC, VG, DX), pp. 805–818.
AFLAFL-2008-Lohrey #problem #revisited
Compressed membership problems revisited (ML), pp. 31–53.
ICALPICALP-A-2008-DietzfelbingerP #approximate #data type #retrieval
Succinct Data Structures for Retrieval and Approximate Membership (Extended Abstract) (MD, RP), pp. 385–396.
CIKMCIKM-2008-GhelliCS #linear #regular expression
Linear time membership in a class of regular expressions with interleaving and counting (GG, DC, CS), pp. 389–398.
CIKMCIKM-2008-ShiLW #multi #semantics
Pattern-based semantic class discovery with multi-membership support (SS, XL, JRW), pp. 1453–1454.
ICMLICML-2008-HellerWG #modelling #statistics
Statistical models for partial membership (KAH, SW, ZG), pp. 392–399.
FoSSaCSFoSSaCS-2007-Rosu #algorithm #effectiveness #problem #regular expression
An Effective Algorithm for the Membership Problem for Extended Regular Expressions (GR), pp. 332–345.
LATALATA-2007-LohreyS #graph #problem #set
The submonoid and rational subset membership problems for graph groups (ML, BS), pp. 367–378.
STOCSTOC-2006-Feldman #approximate #learning #logic #query
Hardness of approximate two-level logic minimization and PAC learning with membership queries (VF), pp. 363–372.
DLTDLT-J-2005-AfoninH06 #problem #regular expression #set
Membership and Finiteness Problems for Rational Sets of Regular Languages (SA, EH), pp. 493–506.
KDDKDD-2006-BackstromHKL #evolution #network #scalability #social
Group formation in large social networks: membership, growth, and evolution (LB, DPH, JMK, XL), pp. 44–54.
DLTDLT-2005-AfoninH #problem #regular expression #set
Membership and Finiteness Problems for Rational Sets of Regular Languages (SA, EH), pp. 88–99.
DLTDLT-2005-BellP #matrix #on the
On the Membership of Invertible Diagonal Matrices (PB, IP), pp. 146–157.
PEPMPEPM-2004-DuranLMMU #equation #proving #source code #termination
Proving termination of membership equational programs (FD, SL, JM, CM, XU), pp. 147–158.
ICPRICPR-v2-2004-Frigui #data transformation #named
MembershipMap: Data Transformation Based on Membership Aggregation (HF), pp. 463–466.
FMFME-2003-RosuELM #equation #proving
Certifying and Synthesizing Membership Equational Proofs (GR, SE, PL, JM), pp. 359–380.
ICEISICEIS-v4-2003-XuZYTCZC #framework
Membership Portal and Service Provisioning System for an Infrastructure of Hubs: Managed E-Hub (JMX, YNZ, SXY, ZT, HC, LJZ, TC), pp. 143–150.
RTARTA-2003-OhsakiST
Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism (HO, HS, TT), pp. 483–498.
RTARTA-2003-RouV #incremental #regular expression #testing
Testing Extended Regular Language Membership Incrementally by Rewriting (GR, MV), pp. 499–514.
WRLAWRLA-2002-ClavelMP #equation #logic #similarity
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic (MC, JM, MP), pp. 110–126.
ICPRICPR-v2-2002-PangKB #authentication
Membership Authentication in Dynamic Face Groups (SP, DK, SYB), pp. 374–377.
STOCSTOC-2001-Pagh #complexity #on the
On the cell probe complexity of membership and perfect hashing (RP), pp. 425–432.
ICSEICSE-2001-RomanHH #ad hoc #consistency #network
Consistent Group Membership in Ad Hoc Networks (GCR, QH, AH), pp. 381–388.
STOCSTOC-2000-CrescenzoSY #on the #proving
On zero-knowledge proofs (extended abstract): “from membership to decision” (GDC, KS, MY), pp. 255–264.
ICPRICPR-v2-2000-Abe #classification #fuzzy
Generalization Improvement of a Fuzzy Classifier with Pyramidal Membership Functions (SA), pp. 2211–2214.
DLTDLT-1999-Holzer #on the
On fixed and general membership for external and internal contextual languages (MH), pp. 351–361.
WRLAWRLA-1998-Jouannaud #calculus #equation #induction #logic
Membership equational logic, calculus of inductive instructions, and rewrite logic (JPJ), pp. 388–393.
ICLPJICSLP-1998-DevienneTT #constraints #set
Co-definite Set Constraints with Membership Expressions (PD, JMT, ST), pp. 25–39.
CIAAWIA-1997-Ponty #performance #regular expression
An Efficient Null-Free Procedure for Deciding Regular Language Membership (JLP), pp. 159–170.
STOCSTOC-1996-BergadanoCV #learning #query
Learning Sat-k-DNF Formulas from Membership Queries (FB, DC, SV), pp. 126–130.
DLTDLT-1995-Satta #problem
The Membership Problem for Unordered Vector Languages (GS), pp. 267–275.
STOCSTOC-1994-GrigorievKV #algebra #bound #testing
Lower bounds on testing membership to a polyhedron by algebraic decision trees (DG, MK, NV), pp. 635–644.
RTARTA-1993-NiehrenPT #constraints #equation #finite
Equational and Membership Constraints for Finite Trees (JN, AP, RT), pp. 106–120.
ICALPICALP-1992-Comon #constraints #term rewriting
Completion of Rewrite Systems with Membership Constraints (HC), pp. 392–403.
STOCSTOC-1991-AngluinK #query
When Won’t Membership Queries Help? (Extended Abstract) (DA, MK), pp. 444–454.
ICALPICALP-1987-Beaudry #commutative #testing
Testing Membership in Commutative Transformation Semigroups (MB), pp. 542–549.
ICALPICALP-1982-BertoniMS #equivalence #problem
Equivalence and Membership Problems for Regular Trace Languages (AB, GM, NS), pp. 61–71.
STOCSTOC-1978-CarterFGMW #approximate
Exact and Approximate Membership Testers (LC, RWF, JG, GM, MNW), pp. 59–65.

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.