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.