Search results for "membership"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jan Camenisch, Anna Lysyanskaya	An Identity Escrow Scheme with Appointed Verifiers.	CRYPTO	2001	DBLP DOI BibTeX RDF	formal model for group signatures, group signatures, privacy protection, Identity escrow
16	Jean Bacon, Ken Moody, Walt Yao	Access Control and Trust in the Use of Widely Distributed Services.	Middleware	2001	DBLP DOI BibTeX RDF
16	Naotake Kamiura, Masashi Tomita, Teijiro Isokawa, Nobuyuki Matsui	On Realization of Fault-Tolerant Fuzzy Controllers.	IOLTW	2000	DBLP DOI BibTeX RDF	concurrent compensation, fault tolerance, fuzzy control, stuck-at faults, concurrent test
16	Víctor Dalmau	Boolean Formulas are Hard to Learn for most Gate Bases.	ALT	1999	DBLP DOI BibTeX RDF
16	Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe	Restrictive Acceptance Suffices for Equivalence Problems.	FCT	1999	DBLP DOI BibTeX RDF
16	Dieter Hofbauer, Maria Huber	Test Sets for the Universal and Existential Closure of Regular Tree Languages.	RTA	1999	DBLP DOI BibTeX RDF
16	Rajesh Parekh, Codrin M. Nichitiu, Vasant G. Honavar	A Polynominal Time Incremental Algorithm for Learning DFA.	ICGI	1998	DBLP DOI BibTeX RDF
16	Gerard Ellis, Stephen Callaghan	Organization of Knowledge Using Order Factors.	ICCS	1997	DBLP DOI BibTeX RDF
16	Chenyang Xu 0001, Dzung L. Pham, Jerry L. Prince	Finding the Brain Cortex Using Fuzzy Segmentation, Isosurfaces, and Deformable Surface Models.	IPMI	1997	DBLP DOI BibTeX RDF
16	Anthony Tzes, Kyriakos Kyriakides	A hybrid frequency - time domain adaptive fuzzy control scheme for flexible link manipulators.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Fuzzy logic inference, flexible link manipulators, adaptive fuzzy control
16	Michael Frazier, Leonard Pitt	CLASSIC Learning.	COLT	1994	DBLP DOI BibTeX RDF
16	Lane A. Hemachandra	Algorithms from Complexity Theory: Polynominal-Time Operations for Complex Sets.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
16	Uriel Feige, Adi Shamir, Moshe Tennenholtz	The Noisy Oracle Problem.	CRYPTO	1988	DBLP DOI BibTeX RDF
16	Daniel G. Bobrow	Managing Reentrant Structures Using Reference Counts.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
13	Annalisa Pelizza	Openness as an asset: a classification system for online communities based on actor-network theory.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	classification variables, groupware architecture, open online communities, textual account, innovation, membership, ANT
13	Jun Shi, Booma Devi Sekar, Ming-Chui Dong, Wai Kei Lei	Fuzzy Neural Networks to Detect Cardiovascular Diseases Hierarchically.	CIT	2010	DBLP DOI BibTeX RDF	detect cardiovascular disease, variance analysis, confidence coefficient, cubic interpolation, hierarchical fuzzy neural networks, membership function
13	Stephan Holzer, Yvonne-Anne Pignolet, Jasmin Smula, Roger Wattenhofer	Brief announcement: self-monitoring in dynamic wireless networks.	PODC	2010	DBLP DOI BibTeX RDF	wireless, monitoring, group membership
13	Ming-Yang Su, Sheng-Cheng Yeh, Chun-Yuen Lin, Chen-Han Tsai	Using Genetic Algorithm to Improve an Online Response System for Anomaly Traffic by Incremental Mining.	ISPA	2010	DBLP DOI BibTeX RDF	online incremental mining, genetic algorithm, anomaly detection, membership functions, Fuzzy association rules
13	Yu-Ru Lin, Yun Chi, Shenghuo Zhu, Hari Sundaram, Belle L. Tseng	Analyzing communities and their evolutions in dynamic social networks.	ACM Trans. Knowl. Discov. Data	2009	DBLP DOI BibTeX RDF	community net, evolution net, soft membership, Community, evolution, nonnegative matrix factorization
13	Heribert Vollmer	The Complexity of Deciding if a Boolean Function Can Be Computed by Circuits over a Restricted Basis.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Post’s lattice, Membership problem, Computational complexity, Clones, Boolean circuit
13	Davut Hanbay, Ahmet Baylar, Emrah Ozpolat	Predicting flow conditions over stepped chutes based on ANFIS.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Stepped chute, Flow conditions, Cross validation, ANFIS, Fuzzy membership function
13	Zhi-Qiang Liu, Tao Guan, Yajun Zhang	Self-spawning neuro-fuzzy system for rule extraction.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Gaussian membership function, Self-spawning competitive learning (SSCL), Self-spawning neuro-fuzzy system (SSNFS), Rule extraction, Incremental clustering
13	Chia-Hui Huang	An Efficient Piecewise Linearization Method in Fuzzy Multi-objective Programs.	NCM	2009	DBLP DOI BibTeX RDF	Fuzzy Multi-Objective Program, piecewise linearization method, fuzzy set, membership function
13	Hamid Mirvaziri, Mohammad Masoud Javidi, Najme Mansouri	Handwriting Recognition Algorithm in Different Languages: Survey.	IVIC	2009	DBLP DOI BibTeX RDF	Genetic Algorithm, Neural Network, Handwriting Recognition, Fuzzy membership function
13	Mahmood R. Minhas, Sathish Gopalakrishnan, Victor C. M. Leung	An Online Multipath Routing Algorithm for Maximizing Lifetime in Wireless Sensor Networks.	ITNG	2009	DBLP DOI BibTeX RDF	lifetime maximization, online routing, Wireless sensor networks, multipath routing, fuzzy membership functions
13	Madasu Hanmandlu, Om Prakash Verma, Pankaj Gangwar, Shantaram Vasikarla	Fuzzy Edge and Corner Detector for Color Images.	ITNG	2009	DBLP DOI BibTeX RDF	USAN, Edge and corner detection, fuzzifier, membership function, adaptive thresholding
13	Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo	XML with incomplete information: models, properties, and query answering.	PODS	2009	DBLP DOI BibTeX RDF	consistency, xml, incomplete information, membership, query answering, certain answers
13	Linlan Zhang, Haigang Song, Xueguang Chen	Automated Sealed-Bid Negotiation Model for Multi-issue Based on Fuzzy Method.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Sealed-bid, Membership function, Bargaining, Multi-issue negotiation
13	Xinli Fang, Tao Shen, Xuesong Feng	The Bang-Bang Control of Water Tank System Based on Fuzzy Decision.	HIS (2)	2009	DBLP DOI BibTeX RDF	Bang-Bang control, water tank system, membership function, fuzzy decision
13	Yanjun Pang, Jiqiang Chen, Nianpeng Wang	A Special Supervised Learning Algorithm and Its Applications.	HIS (1)	2009	DBLP DOI BibTeX RDF	normal sample, index classification weight, membership conversion insert, similarity measure, supervised learning
13	Zhugang Yuan, Hongliang Yu	Fuzzy Identification for State of Burning Zone in Cement Vertical Kiln.	HIS (2)	2009	DBLP DOI BibTeX RDF	Cement vertical kiln, Burning zone state, Fuzzy sets, Membership, Fuzzy identification
13	Zhijie Yin, Yuhui Guan, Alexander Baron, Leihua Geng	Fuzzy Comprehensive Evaluation of River Health Using (1/2, 2) EM Method.	FSKD (6)	2009	DBLP DOI BibTeX RDF	river health, membership degree, (1/2, 2) EM method, fuzzy comprehensive evaluation
13	Wei Liao, Feng Li, Yunfeng Song	Fault Diagnosis Reliability Evaluation of Turbo-generator Based on Information Fusion Technology.	FSKD (6)	2009	DBLP DOI BibTeX RDF	Turbo-generator, membership conversion, distinguish weight, ratio, fault diagnosis
13	Lurong Wu	Fuzzy Distribution Fitting for Law of Traffic Accidents Based on MATLAB.	FSKD (6)	2009	DBLP DOI BibTeX RDF	regression combination, fuzzy two-humped Normal distribution, fuzzy Sinusoidal distribution, membership function, data fitting, traffic accident
13	Yanbin Xie, Fangcheng Gan, Baifen Liu	Design and Application of TS-PID Controller in Fire Furnace.	FSKD (6)	2009	DBLP DOI BibTeX RDF	TS-PID, Fire Furnace, Stability Analysis, Membership Function
13	Haiyang Chen, Xiaoguang Gao	Ship Recognition Based on Improved Forwards-Backwards Algorithm.	FSKD (5)	2009	DBLP DOI BibTeX RDF	discrete dynamic bayesian networks, membership degree, target recognition, forwards-backwards algorithm
13	Qiang Xu, Jing Li, Jian-yun Chen	Fuzzy Reliability Analysis of Deep Sliding Plane in Rock Foundation under Dam.	FSKD (6)	2009	DBLP DOI BibTeX RDF	deep sliding surface in rock foundation, probabilistic reasoning model, fuzzy reliability, membership function, optimization model
13	Xiao-Ping Yang	An Interpretation of Rough Sets in Incomplete Information Systems within Intuitionistic Fuzzy Sets.	RSKT	2009	DBLP DOI BibTeX RDF	membership degree, rough sets, Intuitionistic fuzzy sets, incomplete information systems
13	Artur Boronat, José Meseguer 0001	Algebraic Semantics of OCL-Constrained Metamodel Specifications.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic
13	Denise Guliato, Jean Carlo de Sousa Santos	Granular Computing and Rough Sets to Generate Fuzzy Rules.	ICIAR	2009	DBLP DOI BibTeX RDF	Pattern Recogntion, Rough set, Fuzzy rule, Approximation Operators, Fuzzy Membership Function, Fuzzy Classifier
13	Yong Liu, Guoyin Wang 0001, Lin Feng	A General Model for Transforming Vague Sets into Fuzzy Sets.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Transformationmodel, Fuzzy sets, Membership function, Vague sets
13	Patrick P. Tsang, Man Ho Au, Apu Kapadia, Sean W. Smith	PEREA: towards practical TTP-free revocation in anonymous authentication.	CCS	2008	DBLP DOI BibTeX RDF	non-membership proofs, privacy-enhanced revocation, subjective blacklisting, anonymous authentication
13	Qing Zhang, Junfeng Liu, Xin Yang, Hongjie Liu	Research on Intelligent Feeding Paper Control System Based on Fuzzy Parameter Self-Adaptive PID for Fruit-Bag Machine.	PACIIA (2)	2008	DBLP DOI BibTeX RDF	Self-adaptive PID, Fuzzy control, membership function, Tension
13	Fanwei Meng, Yequan Zhao, Feng Yue	A Face Recognition Method Based on Fuzzy Data Fusion.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	local projected sub-feature, fuzzy data fusion, maximum membership principle, face recognition, principle component analysis
13	Yu-Ru Lin, Yun Chi, Shenghuo Zhu, Hari Sundaram, Belle L. Tseng	Facetnet: a framework for analyzing communities and their evolutions in dynamic networks.	WWW	2008	DBLP DOI BibTeX RDF	community net, evolution net, soft membership, community, evolution, non-negative matrix factorization
13	Liqun Chen 0002, Hans Löhr, Mark Manulis, Ahmad-Reza Sadeghi	Property-Based Attestation without a Trusted Third Party.	ISC	2008	DBLP DOI BibTeX RDF	Property-based attestation, proof of membership, configuration anonymity, ring signatures, user privacy
13	Helena Karasti, Karen S. Baker	Community Design: growing one's own information infrastructure.	PDC	2008	DBLP BibTeX RDF	community membership, in situ, local, continuity, community of practice, information infrastructure, long-term, community design
13	Jiannong Cao 0001, Guojun Wang 0001, Keith C. C. Chan	A Fault-Tolerant Group Communication Protocol in Large Scale and Highly Dynamic Mobile Next-Generation Networks.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	the RingNet hierarchy, fault tolerance, multicast, Group communication, membership
13	Yong Zhang 0030, Zhongxian Chi, Xiao-Dan Liu, Xiang-Hai Wang 0001	A novel fuzzy compensation multi-class support vector machine.	Appl. Intell.	2007	DBLP DOI BibTeX RDF	Fuzzy compensation, Support vector machine, Membership, Multi-class classification
13	Joseph Chee Ming Teo, Chik How Tan, Jim Mee Ng	Denial-of-service attack resilience dynamic group key agreement for heterogeneous networks.	Telecommun. Syst.	2007	DBLP DOI BibTeX RDF	Authenticated group key agreement, Dynamic group membership, Heterogeneous networks, Secure group communication, DoS attacks
13	Yun Chi, Xiaodan Song, Dengyong Zhou, Koji Hino, Belle L. Tseng	Evolutionary spectral clustering by incorporating temporal smoothness.	KDD	2007	DBLP DOI BibTeX RDF	evolutionary spectral clustering, mining data streams, preserving cluster membership, temporal smoothness, treserving cluster quality
13	Christian Thiel 0002, Stefan Scherer, Friedhelm Schwenker	Fuzzy-Input Fuzzy-Output One-Against-All Support Vector Machines.	KES (3)	2007	DBLP DOI BibTeX RDF	fuzzy input, fuzzy output, classification, support vector machine, uncertainty, emotion recognition, fuzzy membership
13	Savita Mishra, Ajit Ghosh	Interactive fuzzy programming approach to Bi-level quadratic fractional programming problems.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Bi-level quadratic fractional programming problem, Linear membership function, Fuzzy goals, Satisfactory solution, Interactive methods, Fuzzy programming
13	Aarthi Chandramohan, M. V. C. Rao	A Novel Approach for Combining Fuzzy Rules Using Mean Operators for Effective Rule Reduction.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Mean operators, Centroid defuzzification, Fuzzy rules, Fuzzy Membership function
13	Rafael Alcalá, Jesús Alcalá-Fdez, Jorge Casillas, Oscar Cordón, Francisco Herrera	Hybrid learning models to get the interpretability-accuracy trade-off in fuzzy modeling.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Interpretability-accuracy trade-off, Weighted linguistic rules, Tuning of membership functions, Genetic algorithms, Rule selection, Linguistic fuzzy modeling
13	Aarthi Chandramohan, M. V. C. Rao, M. Senthil Arumugam	Two New and Useful Defuzzification Methods Based on Root Mean Square Value.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Root mean square, Defuzzification criteria, Membership function, Centroid, Defuzzification
13	Christian Engelmann, Stephen L. Scott, David E. Bernholdt, Narasimha Raju Gottumukkala, Chokchai Leangsuksun, Jyothish Varma, Chao Wang 0056, Frank Mueller 0001, Aniruddha G. Shet, P. Sadayappan	MOLAR: adaptive runtime support for high-end computing operating and runtime systems.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF	high-end computing, fault tolerance, reliability, monitoring, availability, group membership, RAS
13	Anwitaman Datta, Karl Aberer	Internet-Scale Storage Systems under Churn -- A Study of the Steady-State using Markov Models.	Peer-to-Peer Computing	2006	DBLP DOI BibTeX RDF	membership dynamics (churn), dynamic equilibrium, resilience, distributed storage-systems
13	Eric Robinson, Gene Cooperman	A parallel architecture for disk-based computing over the Baby Monster and other large finite simple groups.	ISSAC	2006	DBLP DOI BibTeX RDF	Baby Monster group, disk-based methods, parallel computation, group membership, permutation groups, matrix groups
13	Max Neunhöffer, Ákos Seress	A data structure for a uniform approach to computations with finite groups.	ISSAC	2006	DBLP DOI BibTeX RDF	black-box group, computational group theory, constructive membership, large-base group, matrix group algorithm, permutation group algorithm, GAP
13		IEEE Computer Society Election.	Computer	2005	DBLP DOI BibTeX RDF	membership news, IEEE Computer Society, elections
13	Bob Ward	IEEE President-Elect Candidates Address Computer Society Concerns.	Computer	2005	DBLP DOI BibTeX RDF	IEEE presidential candidates, membership news, elections
13	Bob Ward	Report to Members: NC State Team Wins $20, 000 First Prize at CSIDC.	Computer	2005	DBLP DOI BibTeX RDF	membership news, IEEE Computer Society, CSIDC
13	Bob Ward	Computer Society Connection.	Computer	2005	DBLP DOI BibTeX RDF	membership news, IEEE Computer Society
13	Hsiao-Fan Wang	Pattern Discovery from Few Data.	ICITA (1)	2005	DBLP DOI BibTeX RDF	Set Division, approximate membership function, Possibility Theory
13	Mauro Di Marco, Andrea Garulli, Antonio Giannitrapani, Antonio Vicino	A Set Theoretic Approach to Dynamic Robot Localization and Mapping.	Auton. Robots	2004	DBLP DOI BibTeX RDF	set membership, localization, uncertainty, mapping, SLAM
13	Rodrigo Rodrigues 0001, Barbara Liskov	Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory.	PODC	2004	DBLP DOI BibTeX RDF	dynamic membership, byzantine fault tolerance
13	Stanislaw Jarecki, Nitesh Saxena, Jeong Hyun Yi	An attack on the proactive RSA signature scheme in the URSA ad hoc network access control protocol.	SASN	2004	DBLP DOI BibTeX RDF	proactive cryptosystems, peer-to-peer, mobile ad-hoc networks, admission control, RSA, group membership, threshold cryptosystems
13	Mark Hartswood, Rob Procter, Mark Rouncefield, Roger Slack	Making a Case in Medical Work: Implications for the Electronic Medical Record.	Comput. Support. Cooperative Work.	2003	DBLP DOI BibTeX RDF	CSCW design, membership categorisation, healthcare, collaborative work, service integration, electronic medical record
13	Robbert van Renesse, Kenneth P. Birman, Werner Vogels	Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining.	ACM Trans. Comput. Syst.	2003	DBLP DOI BibTeX RDF	scalability, Aggregation, gossip, failure detection, publish-subscribe, membership, epidemic protocols
13	Sanjoy Dasgupta, Wee Sun Lee, Philip M. Long	A Theoretical Analysis of Query Selection for Collaborative Filtering.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	approximation algorithms, recommender systems, collaborative filtering, inapproximability, membership queries
13	Ling Feng, Tharam S. Dillon	Using Fuzzy Linguistic Representations to Provide Explanatory Semantics for Data Warehouses.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	extended SQL, Data warehouse, fuzzy set, semantic model, membership function, algebraic operator
13	Roelof K. Brouwer, Witold Pedrycz	Set oriented mappings on neural networks.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Multivalued mappings, Feed forward networks, Fuzzy sets, Multilayer perceptrons, Membership functions
13	Nitesh Saxena, Gene Tsudik, Jeong Hyun Yi	Admission control in Peer-to-Peer: design and performance evaluation.	SASN	2003	DBLP DOI BibTeX RDF	security, performance, peer-to-peer, mobile ad-hoc networks, access control, admission control, group membership
13	Giuseppe Anastasi, Alberto Bartoli, Francesco Spadoni	A Reliable Multicast Protocol for Distributed Mobile Systems: Design and Evaluation.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	dynamic membership, Mobile computing, reliable multicast, total ordering, causal ordering
13	Paul D. Ezhilchelvan, Graham Morgan	A Dependable Distributed Auction System: Architecture and an Implementation Framework.	ISADS	2001	DBLP DOI BibTeX RDF	synchronous and asynchronous networks, Auctions, reliable multicast, multicast groups, distributed servers, membership service, passive replication
13	Yasushi Saito, Brian N. Bershad, Henry M. Levy	Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	group membership protocol, cluster, distributed systems, load balancing, replication, email
13	Scott D. Stoller	Leader Election in Asynchronous Distributed Systems.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Leader election, asynchronous distributed systems, group membership, crash failures
13	John Watrous	Succinct quantum proofs for properties of finite groups.	FOCS	2000	DBLP DOI BibTeX RDF	succinct quantum proofs, finite group properties, quantum computational variant, quantum proof, quantum state, NP-type proof, black-box groups, group operations, group oracle, Group Non-Membership problem, bounded error, simple proof, quantum proofs, classical proofs, group properties, computational complexity, theorem proving, quantum computing, quantum computer, certificate, nondeterminism, polynomial time, strings, group theory, finite groups
13	Blair Nonnecke, Jennifer Preece	Lurker demographics: counting the silent.	CHI	2000	DBLP DOI BibTeX RDF	health-support, lurker, newgroup, Internet, email, traffic, membership, demographic, lurking, BBS, discussion list
13	Gera Goft, Esti Yeger Lotem	The AS/400 Cluster Engine: A Case Study.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	horizontal growth, virtually synchronous group communications, shared-nothing model, callback function, reliable FIFO-ordered multicast, reliable Totally-ordered multicast, Inter-group consistency, Flexible Group Member, strong virtual synchrony, Cluster, high availability, group membership, disaster recovery
13	Tzung-Pei Hong, Chai-Ying Lee	Learning Fuzzy Knowledge from Training Examples.	CIKM	1998	DBLP DOI BibTeX RDF	fuzzy decision rule, fuzzy machine learning, decision table, membership function
13	Ramón Ferreiro García, Francisco Javier Perez Castelo	Fuzzy Function Estimators as Basis on Learning from Experience.	IWANN	1995	DBLP DOI BibTeX RDF	Fuzzy associative memory, Membership-function set, Universe of discourse, Learning algorithm
13	Nader H. Bshouty, Yishay Mansour	Simple Learning Algorithms for Decision Trees and Multivariate Polynomials.	FOCS	1995	DBLP DOI BibTeX RDF	constant bounded product distribution, /spl epsiv/-approximation, j-disjoint DNF, bounded term size, learning (artificial intelligence), decision trees, interpolation, interpolation, finite fields, polynomials, decision theory, learning algorithms, learnability, multivariate polynomials, membership queries, bounded degree
13	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
13	Dima Grigoriev, Nicolai N. Vorobjov Jr.	Complexity Lower Bounds for Computation Trees with Elementary Transcendental Function Gates	FOCS	1994	DBLP DOI BibTeX RDF	complexity lower bounds, computation trees, elementary transcendental function gates, membership, arithmetic operations, algebraic functions, transcendental functions, convex polyhedron
13	Michael Barborak, Miroslaw Malek	The Consensus Problem in Fault-Tolerant Computing.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	processor membership, decision theory, Byzantine agreement, consensus problem, system diagnosis
13	Robert Beals, László Babai	Las Vegas algorithms for matrix groups	FOCS	1993	DBLP DOI BibTeX RDF	testing membership, composition factors, Sylow subgroups, Lie-type simple groups, number theoretic obstacles, randomized algorithm, permutation groups, finite groups, center, matrix groups, algebraic number fields, abelian groups, Las Vegas algorithms
13	Nader H. Bshouty	Exact Learning via the Monotone Theory (Extended Abstract)	FOCS	1993	DBLP DOI BibTeX RDF	Monotone theory, decision trees, boolean function, learnability, membership, CNF, equivalence queries, DNF, exact learning, concept classes
13	Elke A. Rundensteiner, Lubomir Bic	Set Operations in Object-Based Data Models.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	object-based data models, set theoretic operations, symmetric difference, set membership, inheritance rules, property characteristics, single-valued, property inheritance, semantics, object-oriented databases, type, database systems, set, intersection, complex objects, set operations, union, set difference, multivalued
13	Sanjeev Arora, Shmuel Safra	Probabilistic Checking of Proofs; A New Characterization of NP	FOCS	1992	DBLP DOI BibTeX RDF	membership proofs, languages, time complexity, polynomial time, independent set, clique, NP
13	Nader H. Bshouty, Richard Cleve	On the Exact Learning of Formulas in Parallel (Extended Abstract)	FOCS	1992	DBLP DOI BibTeX RDF	learning problems, parallel, polynomial time, membership, parallel complexity, equivalence queries, exact learning
13	Andrew Chi-Chih Yao	Algebraic Decision Trees and Euler Characteristics	FOCS	1992	DBLP DOI BibTeX RDF	closed polyhedron, algebraic decision trees, membership question, Euler characteristics, algebraic computation tree
13	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
13	Norman H. Cohen	Type-Extension Type Tests Can Be Performed In Constant Time.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	extensible data type, type extension, type test, object-oriented programming, inheritance, display, class, descriptor, membership test
13	Howard Aizenstein, Leonard Pitt	Exact Learning of Read-Twice DNF Formulas (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	read-twice DNF formulas, protocol, polynomial-time algorithm, Boolean formulas, membership queries, equivalence queries, disjunctive normal form, exact learning
13	Richard Beigel, Mihir Bellare, Joan Feigenbaum, Shafi Goldwasser	Languages that Are Easier than their Proofs	FOCS	1991	DBLP DOI BibTeX RDF	nonrandom self-reducible sets, triple-exponential time, incoherent sets, formal languages, membership, NP, DSPACE
13	Dana Angluin, Michael Frazier, Leonard Pitt	Learning Conjunctions of Horn Clauses (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	clauses, Horn clause conjunctions, Horn sentence, disjunction of literals, negated variable, unknown formula, learning algorithm, Boolean formulas, polynomial time complexity, membership queries, equivalence queries
13	Avrim Blum	Separating Distribution-Free and Mistake-Bound Learning Models over the Boolean Domain	FOCS	1990	DBLP DOI BibTeX RDF	ordered examples, model separation, Boolean domain, distribution-free model, absolute mistake-bound model, unlimited computational resources, polynomial-time learning algorithm, one-way functions, computational learning theory, adversary, membership queries, concept class
13	Benny Chor, Lior Moscovici	Solvability in Asynchronous Environments (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	membership characterization, asynchronous environments, combinatorial conditions, distributed decision tasks, computational complexity