## Stem membership$ (all stems)

### 62 papers:

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