Search results for "inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito	Verification of Authentication Protocols Based on the Binding Relation.	ISSS	2002	DBLP DOI BibTeX RDF
19	Christopher Lynch, Barbara Morawska 0001	Goal-Directed E-Unification.	RTA	2001	DBLP DOI BibTeX RDF
19	Guo-Qiang Zhang 0001, William C. Rounds	Complexity of Power Default Reasoning.	LICS	1997	DBLP DOI BibTeX RDF
19	Mauro Gaspari, Enrico Motta, Arthur Stutt	An Open Framework for Cooperative Problem Solving.	IEEE Expert	1995	DBLP DOI BibTeX RDF
19	Martin R. Frank, James D. Foley	A Pure Reasoning Engine for Programming by Demonstration.	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	programming by demonstration
19	Randal L. Walser, Bruce H. McCormick	A system for priming a clinical knowledge base.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
19	Pretesh B. Patel, Tshilidzi Marwala	Neural Networks, Fuzzy Inference Systems and Adaptive-Neuro Fuzzy Inference Systems for Financial Decision Making.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
19	Wieslaw Pawlowski	Presenting and Combining Inference Systems: Presentations with Inference Rules.	WADT	2002	DBLP DOI BibTeX RDF
19	Cláudia Antunes, Arlindo L. Oliveira	Inference of Sequential Association Rules Guided by Context-Free Grammars.	ICGI	2002	DBLP DOI BibTeX RDF
19	Christopher Kermorvant, Pierre Dupont	Stochastic Grammatical Inference with Multinomial Tests.	ICGI	2002	DBLP DOI BibTeX RDF
19	Alexander S. Saidi, Souad Tayeb-bey	Grammatical Inference in Document Recognition.	ICGI	1998	DBLP DOI BibTeX RDF
18	Ritendra Datta, James Ze Wang	ACQUINE: aesthetic quality inference engine - real-time automatic rating of photo aesthetics.	Multimedia Information Retrieval	2010	DBLP DOI BibTeX RDF	inference, aesthetics, image quality, photography
18	Vetle I. Torvik, Evangelos Triantaphyllou	Inference of Monotone Boolean Functions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function
18	Yi-Ling Chen 0004, Shang-Hong Lai	Creating MPU implicit surfaces from unoriented point sets with orientation inference.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Orientation inference, Implicit surfaces, Sharp features
18	Mehmet Saltan, Serdal Terzi	Backcalculation of Pavement Layer Thickness and Moduli Using Adaptive Neuro-fuzzy Inference System.	Intelligent and Soft Computing in Infrastructure Systems Engineering	2009	DBLP DOI BibTeX RDF	Backcalculation, Adaptive neural based fuzzy inference system, Flexible pavements, Nondestructive Testing
18	Alberto Fernández 0001, María José del Jesus, Francisco Herrera	Improving the Performance of Fuzzy Rule Based Classification Systems for Highly Imbalanced Data-Sets Using an Evolutionary Adaptive Inference System.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Parametric Conjunction Operators, Imbalanced Data-Sets, Genetic Fuzzy Systems, Inference System, Fuzzy Rule-Based Classification Systems
18	Melinda T. Gervasio, Janet L. Murdock	What were you thinking?: filling in missing dataflow through inference in learning from demonstration.	IUI	2009	DBLP DOI BibTeX RDF	knowledge-base inference, task learning, end-user programming, programming by demonstration, programming by example
18	Shahrani Shahbudin, Aini Hussain, Ahmed El-Shafie 0001, Nooritawati Md. Tahir, Salina Abdul Samad	Adaptive-Neuro Fuzzy Inference System for Human Posture Classification Using a Simplified Shock Graph.	IVIC	2009	DBLP DOI BibTeX RDF	simplified shock graph (SSG), Artificial Neural Network (ANN), Adaptive-Neuro Fuzzy Inference System (ANFIS)
18	Matthias Kranz, Eduard Weber, Korbinian Frank, Daniel Hermosilla Galceran	Open vehicular data interfaces for in-car context inference.	AutomotiveUI	2009	DBLP DOI BibTeX RDF	vehicular interfaces, context awareness, context inference
18	Giuseppe Aiello, Antonella Certa, Mario Enea	A Fuzzy Inference Expert System to Support the Decision of Deploying a Military Naval Unit to a Mission.	WILF	2009	DBLP DOI BibTeX RDF	mission reliability, decision support system, fuzzy inference
18	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001	Merlin: specification inference for explicit information flow problems.	PLDI	2009	DBLP DOI BibTeX RDF	security analysis tools, specification inference
18	Mário Augusto da Costa Torres, Rodrigo Magno Silva, Otávio Noura Teixeira, Roberto Limão	A fuzzy inference system-inspired influence function for the cultural algorithm with evolutionary programming applied to real-valued function optimization.	GECCO	2009	DBLP DOI BibTeX RDF	real-valued unconstrained function optimization, evolutionary programming, fuzzy inference systems, cultural algorithms
18	Fabrício Martins Lopes, Evaldo Araújo de Oliveira, Roberto M. Cesar	Analysis of the GRNs Inference by Using Tsallis Entropy and a Feature Selection Approach.	CIARP	2009	DBLP DOI BibTeX RDF	feature selection, bioinformatics, validation, inference, gene regulatory networks, Tsallis entropy
18	Agustín Gajate, Rodolfo E. Haber, José R. Alique, Pastora I. Vega	Transductive-Weighted Neuro-Fuzzy Inference System for Tool Wear Prediction in a Turning Process.	HAIS	2009	DBLP DOI BibTeX RDF	Transductive reasoning, Neuro-fuzzy inference system, Tool wear, Modeling
18	Haibing Lu, Yingjiu Li	Practical Inference Control for Data Cubes.	IEEE Trans. Dependable Secur. Comput.	2008	DBLP DOI BibTeX RDF	Data dependencies, Inference engines
18	Takeshi Yamakawa, Takanori Koga	Bio-inspired Self-Organizing Relationship Network as Knowledge Acquisition Tool and Fuzzy Inference Engine.	WCCI	2008	DBLP DOI BibTeX RDF	self-organizing relationship (SOR) network, attractive/repulsive learning, self-organizing maps (SOM), knowledge acquisition, intelligent control, fuzzy inference, defuzzification, fuzzy IF-THEN rules
18	Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni	Efficient local type inference.	OOPSLA	2008	DBLP DOI BibTeX RDF	program analysis, type inference
18	Shun-Fang Yang, Jung-Shyr Wu, Bor-Jiunn Hwang	Admission control for multi-services traffic in hierarchical MobileIPv6 networks using fuzzy inference system.	Mobility Conference	2008	DBLP DOI BibTeX RDF	guard channel, multiple services, call admission control (CAC), handoff, mobile IPv6, fuzzy inference system (FIS)
18	Y. H. Lai, P. L. Lin	Effective Segmentation for Dental X-Ray Images Using Texture-Based Fuzzy Inference System.	ACIVS	2008	DBLP DOI BibTeX RDF	Dental X-ray image, Adaptive Local Contrast Stretching, Region Growing, Image Clustering, Fuzzy Inference System
18	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	An Inference Algorithm for Guaranteeing Safe Destruction.	LOPSTR	2008	DBLP DOI BibTeX RDF	type-based analysis, memory management, type inference
18	Kenji Hashimoto, Fumikazu Takasuka, Kimihide Sakano, Yasunori Ishihara, Toru Fujiwara	Verification of the Security Against Inference Attacks on XML Databases.	APWeb	2008	DBLP DOI BibTeX RDF	inference attack, security, verification, XML database
18	Maria Paola Bonacina, Nachum Dershowitz	Abstract canonical inference.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	proof orderings, fairness, redundancy, completeness, completion, Inference, saturation, canonicity
18	James Hawthorne, David Makinson	The Quantitative/Qualitative Watershed for Rules of Uncertain Inference.	Stud Logica	2007	DBLP DOI BibTeX RDF	uncertain inference, consequence relations, Horn rules, probabilistic thresholds, conditional probabilities, nonmonotonic logic
18	Jeremy Schiff, Dominic Antonelli, Alexandros G. Dimakis, David Chu, Martin J. Wainwright	Robust message-passing for statistical inference in sensor networks.	IPSN	2007	DBLP DOI BibTeX RDF	reweighted belief propagation, sensor networks, statistical inference, message-passing algorithms
18	Pim van den Broek, Joost Noppen	The Compositional Rule of Inference and Zadeh's Extension Principle for Non-normal Fuzzy Sets.	IFSA (2)	2007	DBLP DOI BibTeX RDF	compositional rule of inference, fuzzy Booleans, extension principle
18	Sigmund Cherem, Radu Rugina	Uniqueness inference for compile-time object deallocation.	ISMM	2007	DBLP DOI BibTeX RDF	compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations
18	Sumit Gulwani, Nebojsa Jojic	Program verification as probabilistic inference.	POPL	2007	DBLP DOI BibTeX RDF	automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs
18	Shaogang Gong, Caifeng Shan, Tao Xiang 0002	Visual inference of human emotion and behaviour.	ICMI	2007	DBLP DOI BibTeX RDF	behaviour profiling, body language recognition, human emotion recognition, intention inference, anomaly detection
18	Ismail Fahmi, Junte Zhang, Henk Ellermann, Gosse Bouma	SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web.	ESWC	2007	DBLP DOI BibTeX RDF	ontology, visualization, information retrieval, semantic web, inference
18	Kuei-Hsiang Chao, Yu-Ren Shen	An Adaptive Speed Controller for Induction Motor Drives Using Adaptive Neuro-Fuzzy Inference System.	ICIC (1)	2007	DBLP DOI BibTeX RDF	Indirect field-oriented induction motor drive system, two-degree-of- freedom controller, adaptive neuro-fuzzy inference system
18	George Kuan, David MacQueen	Efficient type inference using ranked type variables.	ML	2007	DBLP DOI BibTeX RDF	algorithm W, compilers, functional programming, type inference, type checking, standard ML
18	Joachim Biskup, Jan-Hendrik Lochner	Enforcing Confidentiality in Relational Databases by Reducing Inference Control to Access Control.	ISC	2007	DBLP DOI BibTeX RDF	potential secrets, Access control, relational databases, policy, information flow, confidentiality, database security, inference control
18	Shu-Yun Le, Jih-Hsiang Chen	Statistical Inference on Distinct RNA Stem-Loops in Genomic Sequences.	BIRD	2007	DBLP DOI BibTeX RDF	well-ordered RNA structure, microRNA stem-loops, dynamic programming, statistical inference
18	Özlem Uzun Araz	Real-Time Controlled Multi-objective Scheduling Through ANNs and Fuzzy Inference Systems: The Case of DRC Manufacturing.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Dual Resource Constrained Manufacturing System, Artificial Neural Networks, Dynamic Scheduling, Fuzzy Inference Systems
18	Ran He, Stan Z. Li, Zhen Lei 0001, Shengcai Liao	Coarse-to-Fine Statistical Shape Model by Bayesian Inference.	ACCV (1)	2007	DBLP DOI BibTeX RDF	segmentation, Bayesian inference, Active shape model, statistical image analysis
18	William Ku, Mohan S. Kankanhalli, Joo-Hwee Lim	Metadata Management, Reuse, Inference and Propagation in a Collection-Oriented Metadata Framework for Digital Images.	MMM (2)	2007	DBLP DOI BibTeX RDF	Image Metadata Management, Collection-Oriented Framework, Group Effect, Social Networking Effect, Reuse, Inference, Propagation
18	Liza Leslie, Tat-Seng Chua, Ramesh C. Jain	Auto-Annotation of Paintings Using Social Annotations, Domain Ontology and Transductive Inference.	PCM	2007	DBLP DOI BibTeX RDF	Multi-expert Approach, Concept Disambiguation, Social Network, Learning, Annotation, Paintings, Domain Ontology, Transductive Inference, Probabilistic Clustering
18	Onno Zoeter, Tom Heskes	Deterministic approximate inference techniques for conditionally Gaussian state space models.	Stat. Comput.	2006	DBLP DOI BibTeX RDF	Conditionally Gaussian state space models, Switching linear dynamical systems, Expectation propagation, Assumed density filtering, State space models, Approximate inference
18	Daniel G. Brown 0001, Ian M. Harrower	Integer Programming Approaches to Haplotype Inference by Pure Parsimony.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	integer programming, biology and genetics, haplotype inference, Computations on discrete structures
18	David J. Russomanno	A plausible inference prototype for the Semantic Web.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Plausible inference, Composition of relations, Semantic web, RDF
18	Anna Zamansky, Nissim Francez, Yoad Winter	A 'Natural Logic' inference system using the Lambek calculus.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Natural logic, Inference, Normalization, Lambek calculus
18	Christopher Town 0001	Ontological inference for image and video analysis.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Perceptual inference, Knowledge-based computer vision, Ontologies, Content-based image retrieval, Video analysis
18	Yelizaveta Marchenko, Tat-Seng Chua, Ramesh C. Jain	Transductive inference using multiple experts for brushwork annotation in paintings domain.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	brushwork, feature selection, painting, transductive inference
18	Katsuhiko Nakamura	Incremental Learning of Context Free Grammars by Bridging Rule Generation and Search for Semi-optimum Rule Sets.	ICGI	2006	DBLP DOI BibTeX RDF	CFL, bottom-up parsing, grammatical inference, Synapse, iterative deepening
18	Peng Liu 0005, Wanyu Zang, Meng Yu 0001	Incentive-based modeling and inference of attacker intent, objectives, and strategies.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	Attacker intent and strategy modeling, attack strategy inference, game theory
18	Yufei Shu, Kazuo Furuta	An inference method of team situation awareness based on mutual awareness.	Cogn. Technol. Work.	2005	DBLP DOI BibTeX RDF	Team situation awareness, Mutual awareness, Cooperative activity, TSA inference, Team-machine interaction
18	Fabio Rapallo	Algebraic exact inference for rater agreement models.	Stat. Methods Appl.	2005	DBLP DOI BibTeX RDF	Cohen's kappa, Conditional inference, Diaconis-Sturmfels algorithm, Log-linear models
18	Ivan De Falco, Ernesto Tarantino, Antonio Della Cioppa, Alessandro Passaro	Inductive inference of chaotic series by Genetic Programming: a Solomonoff-based approach.	SAC	2005	DBLP DOI BibTeX RDF	chaotic series, genetic programming, inductive inference
18	Augustin Soule, Anukool Lakhina, Nina Taft, Konstantina Papagiannaki, Kavé Salamatian, Antonio Nucci, Mark Crovella, Christophe Diot	Traffic matrices: balancing measurements, inference and modeling.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	internet traffic matrix estimation, principal components analysis, kalman filtering, statistical inference, traffic characterization
18	Cormac Flanagan, Stephen N. Freund, Marina Lifshin	Type inference for atomicity.	TLDI	2005	DBLP DOI BibTeX RDF	concurrency, reduction, type inference, atomicity
18	Wai-Shun Tong, Chi-Keung Tang, Philippos Mordohai, Gérard G. Medioni	First Order Augmentation to Tensor Voting for Boundary Inference and Multiscale Analysis in 3D.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	first order voting, boundary inference, 3D perceptual organization, discontinuities, multiscale analysis, Tensor voting
18	Johan Bos	Computational Semantics in Discourse: Underspecification, Resolution, and Inference.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	discourse representation theory, scope ambiguities, structural ambiguities, theorem proving, inference, discourse analysis, computational semantics, underspecification, lexical ambiguities
18	Ying Wu 0001, Thomas S. Huang	Robust Visual Tracking by Integrating Multiple Cues Based on Co-Inference Learning.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	co-inference, factorized graphical model, importance sampling, visual tracking, sequential Monte Carlo, variational analysis
18	Ling Wang, Zhi-Chun Mu	A New Support Vector Neural Network Inference System.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	support vector neural network inference system (SVNNIS), support vector machine(SVM), support vector regression(SVR), regression estimation
18	Julien Carme, Aurélien Lemay, Joachim Niehren	Learning Node Selecting Tree Transducer from Completely Annotated Examples.	ICGI	2004	DBLP DOI BibTeX RDF	tree automata and logics, grammatical inference, Web information extraction
18	Andrea Capotorti, L. Galli, Barbara Vantaggi	Locally strong coherence and inference with lower-upper probabilities.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Lower-upper probabilities, Locally strong coherence, Inference
18	Jens P. Secher, Morten Heine Sørensen	From checking to inference via driving and dag grammars.	PEPM	2002	DBLP DOI BibTeX RDF	inference, supercompilation, program inversion
18	Andrew Graves, Mounia Lalmas	Video retrieval using an MPEG-7 based inference network.	SIGIR	2002	DBLP DOI BibTeX RDF	combination of evidence, structured video retrieval, MPEG-7, inference network
18	Zhuhan Jiang, Bruce E. Litow, Olivier Y. de Vel	An Inference Implementation Based on Extended Weighted Finite Automata.	ACSC	2001	DBLP DOI BibTeX RDF	Weighted finite automata, image compression, self-similarity, inference algorithm
18	Philip Hingston	Inference of Regular Languages using Model Simplicity.	ACSC	2001	DBLP DOI BibTeX RDF	Minimum Message Length principle, grammatical inference
18	Steve Lawrence, C. Lee Giles, Sandiway Fong	Natural Language Grammatical Inference with Recurrent Neural Networks.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	government-and-binding theory, principles-and-parameters framework, automata extraction, natural language processing, simulated annealing, Recurrent neural networks, grammatical inference, gradient descent
18	Giuliana Regoli	Inference under imprecise probability assessments.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Grades of probability and prevision, comparative probability and prevision, coherent probability, robust Bayesian inference, computational techniques
18	Futoshi Kobayashi, Fumihito Arai, Toshio Fukuda, Koji Shimojima, Makoto Onoda, Norimasa Marui	Sensor Fusion System Using Recurrent Fuzzy Inference.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	recurrent fuzzy inference, the steepest descent method, radial basis function, sensor fusion, incremental learning
18	Colin de la Higuera	Learning Stochastic Finite Automata from Experts.	ICGI	1998	DBLP DOI BibTeX RDF	identification with probability one, polynomial learning, stochastic deterministic finite automata, grammatical inference
18	François Coste, Jacques Nicolas	How Considering Incompatible State Mergings May Reduce the DFA Induction Search Tree.	ICGI	1998	DBLP DOI BibTeX RDF	grammatical inference, search tree, DFA, constraint system
18	José M. Sempere, G. Nagaraja	Learning a Subclass of Linear Languages from Positive Structural Information.	ICGI	1998	DBLP DOI BibTeX RDF	characterizable methods, Formal languages, grammatical inference, structural information
18	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Completeness for Linear Regular Negation Normal Form Inference Systems.	ISMIS	1997	DBLP DOI BibTeX RDF	tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence
18	Andreas Hennig, Nasser Sherkat, Robert J. Whitrow	Recognizing Letters in on-line Handwriting using Hierarchical Fuzzy Inference.	ICDAR	1997	DBLP DOI BibTeX RDF	unconstrained script recognition, letter spotting, on-line pre-processing and encoding, hierarchical inference, fuzzy logic, production rules, zoning
18	Florin Fagarasan, Mircea Gh. Negoita	A Genetic-Based Method for Learning the Parameters of a Fuzzy Inference System.	ANNES	1995	DBLP DOI BibTeX RDF	variable length genotype, genetic algorithms, inductive learning, fuzzy inference system
18	Leo Bachmair, Nachum Dershowitz	Equational Inference, Canonical Proofs, and Proof Orderings.	J. ACM	1994	DBLP DOI BibTeX RDF	term rewriting, rewrite systems, proof theory, equational logic, inference systems, term orderings
18	H. Azzoune	Type Inference in Prolog.	CADE	1988	DBLP DOI BibTeX RDF	Prolog, Type, Type Inference
18	Leon Sterling, Alan Bundy	Meta-Level Inference and Program Verification.	CADE	1982	DBLP DOI BibTeX RDF	meta-level inference, logic programming, program verification
17	Ulrike Leopold-Wildburger, Otwin Becker, Martin Kuehrer	Forecasting.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Moving average model, Visual inference, Genetic algorithms, Neural networks, Artificial intelligence, Fuzzy logic, Expert systems, Time series, Statistics, Time series analysis, Curve fitting, Regression analysis, Extrapolation, Inductive inference, Exponential smoothing, Econometrics
17	Zhichun Li, Anup Goyal, Yan Chen 0004, Vern Paxson	Automating analysis of large-scale botnet probing events.	AsiaCCS	2009	DBLP DOI BibTeX RDF	global property extrapolation, scan strategy inference, situational awareness, botnet, statistical inference, honeynet
17	Aybar C. Acar, Amihai Motro	Efficient discovery of join plans in schemaless data.	IDEAS	2009	DBLP DOI BibTeX RDF	dependency inference, join inference, schema matching
17	Hongbo Liu, Tegang Deng, Hongwei Zhang	Research on Forecasting Method of Urban Water Demand Based on Fuzzy Theory.	FSKD (6)	2009	DBLP DOI BibTeX RDF	water demand forecasting, fuzzy inference, adaptive neuro-fuzzy inference system, fuzzy theory
17	Kin-Keung Ma, Jeffrey S. Foster	Inferring aliasing and encapsulation properties for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness
17	Octavian Udrea, Lise Getoor, Renée J. Miller	Leveraging data and structure in ontology integration.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	data integration, schema mapping, statistical inference, ontology alignment, logical inference
17	Avishai Mandelbaum, Sergey Zeltyn	Estimating characteristics of queueing networks using transactional data.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	non-parametric inference, queueing inference engine, performance evaluation, hidden Markov models, data analysis, queueing networks, queues
17	Nasreddine Hallam, Kok Meng Yew	Families of fuzzy implication operators within measure M1 and their pseudo-strict.	SAC	1998	DBLP DOI BibTeX RDF	K sub-triangle inference structure, Kleene-Dienes and Lukasiewicz fuzzy implications, interval-valued inference, pseudo-strict monotonicity
17	Masami Hagiya, Tomoki Shiratori	Programming by Example in Computing-as-Editing Paradigm.	VL	1995	DBLP DOI BibTeX RDF	computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming
17	Debby Keen, Arcot Rajasekar	Inductive certainty factors from databases.	HICSS (3)	1995	DBLP DOI BibTeX RDF	inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems
17	John M. Arran, M. H. Saeedi, Bob Steele	Configuring a parallel knowledge engine.	ANNES	1995	DBLP DOI BibTeX RDF	parallel knowledge engine, run-time processing, processor network, hierarchy clustering, Sheffield Parallel Inference Knowledge Engine, parallel processing, parallel processing, resource allocation, knowledge based systems, knowledge-base systems, time, computational model, knowledge engineering, inference mechanisms, research, software performance evaluation, communication overhead, speed
17	Jun Gu	Global Optimization for Satisfiability (SAT) Problem.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	global optimization algorithms, VLSI engineering, DNF local search methods, Universal SAT problem model, UniSAT, discrete SAT problem, Boolean space, unconstrained global optimization problem, real space, direct correspondence, global minimum point, backtracking/resolution procedures, optimisation, inference, inference mechanisms, search problems, automated reasoning, formal logic, CNF, conjunctive normal form, computing theory, satisfiability problem, SAT problem, mathematical logic
17	Giuseppe Di Battista, Maurizio Lenzerini	Deductive Entity-Relationship Modeling.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm
17	José Oncina, Pedro García 0001, Enrique Vidal 0001	Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	subsequential transducers, pattern recognition, pattern recognition, learning, learning (artificial intelligence), inference, inference mechanisms, formalization, inductive learning
17	Yi Lu, Ramesh C. Jain	Reasoning About Edges in Scale Space.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	multiscale reasoning algorithm, edge recovery, edge behavior, edge curves, zero crossing images, computer vision, computer vision, knowledge representation, knowledge representation, inference mechanisms, inference mechanisms, scale space, edges, noise elimination, edge detector
17	Chin-Teng Lin, C. S. George Lee	Neural-Network-Based Fuzzy Logic Control and Decision System.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	neural network based fuzzy logic control, feedforward multilayer net, performance, learning, artificial intelligence, fuzzy logic, neural nets, inference mechanisms, decision theory, backpropagation, learning systems, inference engine, decision system, connectionist model
17	Gruia-Catalin Roman	Formal Specification of Geographic Data Processing Requirements.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation
17	William I. Gasarch, Carl H. Smith	Learning via Queries	FOCS	1988	DBLP DOI BibTeX RDF	inherent power, inference machines, query languages, inference mechanism, quantizers, recursive functions