|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3145 occurrences of 1671 keywords
|
|
|
Results
Found 6498 publication records. Showing 6498 according to the selection in the facets
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 |
Displaying result #601 - #700 of 6498 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|