Search results for "membership-testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Nutan Limaye, Meena Mahajan	Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata.	LATA	2009	DBLP DOI BibTeX RDF
26	Vikraman Arvind, N. V. Vinodchandran	Solvable Black-Box Group Problems Are Low for PP.	STACS	1996	DBLP DOI BibTeX RDF
21	László Babai, Robert Beals, Ákos Seress	Polynomial-time theory of matrix groups.	STOC	2009	DBLP DOI BibTeX RDF	computational group theory, matrix groups, discrete log
21	Lane A. Hemachandra	Algorithms from Complexity Theory: Polynominal-Time Operations for Complex Sets.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
18	Dima Grigoriev, Marek Karpinski, Nicolai N. Vorobjov Jr.	Improved Lower Bound on Testing Membership to a Polyhedron by Algebraic Decision Trees.	FOCS	1995	DBLP DOI BibTeX RDF	algebraic decision trees, n-dimensional convex polyhedron, naturally appearing polyhedra, computational geometry, lower bound, lower bounds, decision theory, polyhedron, membership testing
18	Robert Beals	Algorithms for Matrix Groups and the Tits Alternative.	FOCS	1995	DBLP DOI BibTeX RDF	finitely generated linear group, nonabelian free group, solvable subgroup, finite index, finitely generated matrix group, nonabelian free subgroups, nilpotent subgroup, encoding length, computational complexity, complexity, encoding, polynomial time algorithm, decidability, decidability, matrix algebra, formal logic, homomorphism, group theory, finite groups, matrix groups, algebraic number field, Las Vegas algorithm, membership testing
18	Eugene M. Luks	Computing in Solvable Matrix Groups	FOCS	1992	DBLP DOI BibTeX RDF	Sylow subgroups, solvable matrix groups, solvability, nilpotence, discrete-log problem, solvable permutation groups, finite matrix groups, finite fields, polynomial-time, centralizers, intersections, algebraic number fields, subgroups, membership-testing
18	László Babai, Eugene M. Luks, Ákos Seress	Fast Management of Permutation Groups	FOCS	1988	DBLP DOI BibTeX RDF	composition factors, computation, permutation groups, membership testing
18	Gaston H. Gonnet	Unstructured Data Bases or Very Efficient Text Searching.	PODS	1983	DBLP DOI BibTeX RDF	bibliographic search, unstructured data bases, information retrieval, pattern matching, signatures, hashing, inverted files, text searching, full text search, string searching, membership testing
18	Vikraman Arvind, T. C. Vijayaraghavan	Abelian Permutation Group Problems and Logspace Counting Classes.	CCC	2004	DBLP DOI BibTeX RDF
15	Dmitrii I. Koshelev	Correction to: Subgroup membership testing on elliptic curves via the Tate pairing.	J. Cryptogr. Eng.	2024	DBLP DOI BibTeX RDF
15	Jiaqi Zhang, Kirankumar Shiragur, Caroline Uhler	Membership Testing in Markov Equivalence Classes via Independence Query Oracles.	CoRR	2024	DBLP DOI BibTeX RDF
15	Jiaqi Zhang, Kirankumar Shiragur, Caroline Uhler	Membership Testing in Markov Equivalence Classes via Independence Queries.	AISTATS	2024	DBLP BibTeX RDF
15	Dmitrii I. Koshelev	Subgroup membership testing on elliptic curves via the Tate pairing.	J. Cryptogr. Eng.	2023	DBLP DOI BibTeX RDF
15	Haitian Chen, Ziwei Wang, Yunchuan Li, Ruixin Yang, Yan Zhao 0008, Rui Zhou, Kai Zheng 0001	Deep Learning-Based Bloom Filter for Efficient Multi-key Membership Testing.	Data Sci. Eng.	2023	DBLP DOI BibTeX RDF
15	Haipeng Dai, Jun Yu, Meng Li 0010, Wei Wang 0002, Alex X. Liu, Jinghao Ma, Lianyong Qi, Guihai Chen	Bloom Filter With Noisy Coding Framework for Multi-Set Membership Testing.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
15	Albert Yu 0003, Donghang Lu, Aniket Kate, Hemanta K. Maji	SIM: Secure Interval Membership Testing and Applications to Secure Comparison.	EuroS&P	2023	DBLP DOI BibTeX RDF
15	Yunchuan Li, Ziwei Wang, Ruixin Yang, Yan Zhao 0008, Rui Zhou, Kai Zheng 0001	Learned Bloom Filter for Multi-key Membership Testing.	DASFAA (1)	2023	DBLP DOI BibTeX RDF
15	Youssef El Housni, Aurore Guillevic, Thomas Piellard	Co-factor clearing and subgroup membership testing on pairing-friendly curves.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
15	Albert Yu 0003, Donghang Lu, Aniket Kate, Hemanta K. Maji	SIM: Secure Interval Membership Testing and Applications to Secure Comparison.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
15	Dmitrii I. Koshelev	Subgroup membership testing on elliptic curves via the Tate pairing.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
15	Youssef El Housni, Aurore Guillevic, Thomas Piellard	Co-factor Clearing and Subgroup Membership Testing on Pairing-Friendly Curves.	AFRICACRYPT	2022	DBLP DOI BibTeX RDF
15	Ondrej Herman	Blooming Onion: Efficient Deduplication through Approximate Membership Testing.	RASLAN	2022	DBLP BibTeX RDF
15	Qin Jiang, Yanjun An, Yong Qi, Hai Fang	Oblivious Data Structure for Secure Multiple-Set Membership Testing.	WISA	2021	DBLP DOI BibTeX RDF
15	Anurag Pandey 0001	Variety membership testing in algebraic complexity theory.		2021	RDF
15	Gaurav Gupta, Benjamin Coleman, Tharun Medini, Vijai Mohan, Anshumali Shrivastava	RAMBO: Repeated And Merged Bloom Filter for Multiple Set Membership Testing (MSMT) in Sub-linear time.	CoRR	2019	DBLP BibTeX RDF
15	Markus Bläser, Christian Ikenmeyer, Vladimir Lysikov, Anurag Pandey 0001, Frank-Olaf Schreyer	Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory.	CoRR	2019	DBLP BibTeX RDF
15	Lukas Fleischer	Efficient Membership Testing for Pseudovarieties of Finite Semigroups.	CoRR	2018	DBLP BibTeX RDF
15	Daniel Krause 0003, Matthias Scherer, Jonas Schwinn, Ralf Werner	Membership testing for Bernoulli and tail-dependence matrices.	J. Multivar. Anal.	2018	DBLP DOI BibTeX RDF
15	Yanqing Peng, Jinwei Guo, Feifei Li 0001, Weining Qian, Aoying Zhou	Persistent Bloom Filter: Membership Testing for the Entire History.	SIGMOD Conference	2018	DBLP DOI BibTeX RDF
15	Sanjit Chatterjee, Sayantan Mukherjee	Keyword Search Meets Membership Testing: Adaptive Security from SXDH.	INDOCRYPT	2018	DBLP DOI BibTeX RDF
15	Karl Bringmann, Allan Grønlund, Kasper Green Larsen	A Dichotomy for Regular Expression Membership Testing.	FOCS	2017	DBLP DOI BibTeX RDF
15	Karl Bringmann, Allan Grønlund, Kasper Green Larsen	A Dichotomy for Regular Expression Membership Testing.	CoRR	2016	DBLP BibTeX RDF
15	Haipeng Dai, Yuankun Zhong, Alex X. Liu, Wei Wang 0002, Meng Li 0010	Noisy Bloom Filters for Multi-Set Membership Testing.	SIGMETRICS	2016	DBLP DOI BibTeX RDF
15	Gansen Zhao, Aiping Li, Zijing Li, Chuanghui Liu	Model and Comparison of Membership Testing Approach for Massive Data.	CCBD	2015	DBLP DOI BibTeX RDF
15	MyungKeun Yoon 0001, JinWoo Son, Seon-Ho Shin	Bloom tree: A search tree based on Bloom filters for multiple-set membership testing.	INFOCOM	2014	DBLP DOI BibTeX RDF
15	Fang Hao, Murali S. Kodialam, T. V. Lakshman, Haoyu Song 0001	Fast Dynamic Multiple-Set Membership Testing Using Combinatorial Bloom Filters.	IEEE/ACM Trans. Netw.	2012	DBLP DOI BibTeX RDF
15	Mikolás Janota, João Marques-Silva 0001	cmMUS: A Tool for Circumscription-Based MUS Membership Testing.	LPNMR	2011	DBLP DOI BibTeX RDF
15	Sophie Ambrose, Scott H. Murray, Cheryl E. Praeger, Csaba Schneider	Constructive Membership Testing in Black-Box Classical Groups.	ICMS	2010	DBLP DOI BibTeX RDF
15	Fang Hao, Murali S. Kodialam, T. V. Lakshman, Haoyu Song 0001	Fast Multiset Membership Testing Using Combinatorial Bloom Filters.	INFOCOM	2009	DBLP DOI BibTeX RDF
15	Shao Chin Sung, Dinko Dimitrov	On core membership testing for hedonic coalition formation games.	Oper. Res. Lett.	2007	DBLP DOI BibTeX RDF
15	Namrata Shekhar, Sudhakar Kalla, Florian Enescu	Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
15	Fang Hao, Murali S. Kodialam, T. V. Lakshman, Vivek Vishnumurthy, Hui Zhang 0002	Content Based Rate Estimation Using Lazy Membership Testing.	INFOCOM	2006	DBLP DOI BibTeX RDF
15	Arjen K. Lenstra, Eric R. Verheul	Fast Irreducibility and Subgroup Membership Testing in XTR.	Public Key Cryptography	2001	DBLP DOI BibTeX RDF
15	Martin Beaudry	Membership Testing in Threshold One Transformation Monoids	Inf. Comput.	1994	DBLP DOI BibTeX RDF
15	Martin Beaudry	Membership Testing in Commutative Transformation Semigroups	Inf. Comput.	1988	DBLP DOI BibTeX RDF
15	Mikhail Moshkov, Andrzej Skowron, Zbigniew Suraj	On Testing Membership to Maximal Consistent Extensions of Information Systems.	RSCTC	2006	DBLP DOI BibTeX RDF	maximal consistent extensions, rough sets, information systems
15	Toshihide Ibaraki, Tiko Kameda, Toshimi Minoura	Serializability with Constraints.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
13	Gregory Neven	Privacy-enhanced access control in primelife.	Digital Identity Management	2010	DBLP DOI BibTeX RDF
13	Alejandro Hevia, Marcos A. Kiwi	Electronic Jury Voting Protocols.	LATIN	2002	DBLP DOI BibTeX RDF
8	Anna Lisa Ferrara, Matthew Green 0001, Susan Hohenberger, Michael Østergaard Pedersen	Practical Short Signature Batch Verification.	CT-RSA	2009	DBLP DOI BibTeX RDF
8	Heeyeol Yu, Rabi N. Mahapatra	A space- and time-efficient hash table hierarchically indexed by Bloom filters.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Wenyuan Wu, Greg Reid	Application of numerical algebraic geometry and numerical linear algebra to PDE.	ISSAC	2006	DBLP DOI BibTeX RDF	involutive systems, jet spaces, numeric jet geometry, polynomial matrix, SVD, partial differential equations, numerical linear algebra, numerical algebraic geometry
8	Mike Bond	The Dining Freemasons (Security Protocols for Secret Societies).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
8	Mike Bond, George Danezis	The Dining Freemasons (Security Protocols for Secret Societies).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
8	Josh Cohen Benaloh, Michael de Mare	One-Way Accumulators: A Decentralized Alternative to Digital Sinatures (Extended Abstract).	EUROCRYPT	1993	DBLP DOI BibTeX RDF