Search results for "induction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Deepak Kapur, Paliath Narendran, Hantao Zhang	Proof by Induction Using Test Sets.	CADE	1986	DBLP DOI BibTeX RDF	Inductionless Induction, Knuth-Bendix Completion Procedure, Consistency, Induction, Equational Theory, Sufficient-Completeness, Proof by Induction
4	Irene Polycarpou	Induction as a tool for conceptual coherence in computer science.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	undergraduate computer science curricula, computer science education, structural induction, proofs by induction
4	Irene Polycarpou, Ana Pasztor, Malek Adjouadi	A conceptual approach to teaching induction for computer science.	SIGCSE	2008	DBLP DOI BibTeX RDF	induction principle, inductive sets, logic for computer science, undergraduate computer science curricula, computer science education, proofs by induction
4	Matthias Baaz, Georg Moser	Herbrand's theorem and term induction.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Term induction, Successor Induction, Herbrand's theorem, Generalisation of Proofs
4	Irene Polycarpou	Computer science students' difficulties with proofs by induction: an exploratory study.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction
3	Miroslav Kubat, Kanoksri Sarinnapakorn, Sareewan Dendamrongvit	Induction in Multi-Label Text Classification Domains.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF	Classifier induction, multi-label examples, text classification, information fusion, Dempster-Shafer theory
3	Rinaldo Lima, Bernard Espinasse, Frederico Luiz Gonçalves de Freitas	An adaptive information extraction system based on wrapper induction with POS tagging.	SAC	2010	DBLP DOI BibTeX RDF	machine learning, information extraction, boosting, supervised classification, wrapper induction, POS tagging
3	Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz	Analyzing k-step induction to compute invariants for SAT-based property checking.	DAC	2010	DBLP DOI BibTeX RDF	k-step induction, symbolic traversal, invariants, IPC
3	Silvian Calman, Jianwen Zhu	Interprocedural induction variable analysis based on interprocedural SSA form IR.	PASTE	2010	DBLP DOI BibTeX RDF	induction variable analysis, interprocedural ssa, ssa
3	Gisele L. Pappa, Alex Alves Freitas	Evolving rule induction algorithms with multi-objective grammar-based genetic programming.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Grammar-based genetic programming, Rule induction algorithms, Data mining, Classification, Pareto optimization
3	Zohreh HajAbedi, Mohammad Reza Kangavari	A Fuzzy-GA Wrapper-Based Constructive Induction Model.	ICIC	2009	DBLP DOI BibTeX RDF	Feature selection, Fuzzy, GA, Feature construction, Constructive induction
3	Bartlomiej Sniezynski	Agent Strategy Generation by Rule Induction in Predator-Prey Problem.	ICCS	2009	DBLP DOI BibTeX RDF	machine learning, multi-agent systems, rule induction
3	Hassan Moghbelli, Akbar Rahideh, Ali A. Safavi	Using Wavelet Based Neural Networks for Feedback Signals Estimation of a Vector Controlled Induction Motor Drive.	ISNN	2009	DBLP DOI BibTeX RDF	wavenet, vector control of induction motors, feedback signals, Neural Networks
3	Márcio P. Basgalupp, Rodrigo C. Barros, André Carlos Ponce Leon Ferreira de Carvalho, Alex Alves Freitas, Duncan D. Ruiz	LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction.	SAC	2009	DBLP DOI BibTeX RDF	lexicographic multi-objective genetic algorithms, data mining, evolutionary algorithms, decision tree induction
3	Yinhai Zhang, Jinfa Ge, Weixia Liu, Qin Wang	An Experimental Research on Vector Control of Induction Motor Based on Simple Model.	AICI	2009	DBLP DOI BibTeX RDF	vector control, rotor flux, decoupler, induction motor
3	Suleman Shahid, Emiel Krahmer, Marc Swerts, Willem A. Melder, Mark A. Neerincx	Exploring social and temporal dimensions of emotion induction using an adaptive affective mirror.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	mood induction, positive emotions, presence effect, affective computing, adaptive interfaces, co-presence
3	Sérgio Pinheiro dos Santos, José Alfredo F. Costa	A Comparison between Hybrid and Non-hybrid Classifiers in Diagnosis of Induction Motor Faults.	CSE	2008	DBLP DOI BibTeX RDF	Machine learning, Faults detection, Induction motors, Multi-classifiers systems
3	Ngoc-Tu Nguyen, Hong-Hee Lee	An Application of Support Vector Machines for Induction Motor Fault Diagnosis with Using Genetic Algorithm.	ICIC	2008	DBLP DOI BibTeX RDF	Induction motor faults, distance criterion, genetic algorithm, support vector machine, diagnosis
3	Wojciech Jaworski	Rule Induction: Combining Rough Set and Statistical Approaches.	RSCTC	2008	DBLP DOI BibTeX RDF	Rough sets, coverage, accuracy, rule induction, quality measures, significance, rule selection
3	Rodrigo López Cárdenas, Luis Pastor Sánchez Fernández, Oleksiy Progrebnyak, Ángel Alberto Costa Montiel	Inter-turn Short Circuit and Unbalanced Voltage Pattern Recognition for Three-Phase Induction Motors.	CIARP	2008	DBLP DOI BibTeX RDF	monitoring, pattern, recognition, diagnostic, induction motors
3	Qianjin Guo, Xiaoli Li, Haibin Yu, Wei Hu, Jingtao Hu	Broken Rotor Bars Fault Detection in Induction Motors Using Park's Vector Modulus and FWNN Approach.	ISNN	2008	DBLP DOI BibTeX RDF	Park’s Vector Modulus, FWNN, Fault Detection, Induction Motors
3	Chao Yang, John W. Finch	A Comparison of Induction Motor Speed Estimation Using Conventional MRAS and an AI-Based MRAS Parallel System.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Dynamic reference model, Model Reference Adaptive System (MRAS), induction motor control, neural networks
3	Christian Grabner	Acoustic Behavior of Squirrel Cage Induction Motors.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Acoustic behavior, Motor Design, Sound Pressure Level, Induction Motor
3	Dinko Vukadinovic, Mateo Basic, Ljubomir Kulisic	Stator Resistance Tuning Based on a Neural Network in an Indirect Rotor Field Oriented Control System of an Induction Motor.	KES	2008	DBLP DOI BibTeX RDF	indirect field-oriented control, neural network, adaptive control, induction motor
3	Yanyan Chai, Lei Fan, Yaodong Li, Mingchang Zhao	An Opinions Expression and Induction System of Experts in Hall for Workshop of Meta-synthetic Engineering.	COMPSAC	2008	DBLP DOI BibTeX RDF	Hall for Workshop of Meta-synthetic Engineering (HWME), The opinions expression, The opinions induction
3	Huaxiong Li, Yiyu Yao, Xianzhong Zhou, Bing Huang	Two-Phase Rule Induction from Incomplete Data.	RSKT	2008	DBLP DOI BibTeX RDF	Missing attribute values, Filled-in values, Two-phase rule induction
3	Filippo Menolascina, Roberto Teixeira Alves, Stefania Tommasi, Patrizia Chiarappa, Myriam Regattieri Delgado, Giuseppe Mastronardi, Angelo Paradiso, Alex Alves Freitas, Vitoantonio Bevilacqua	Induction of fuzzy rules with artificial immune systems in acgh based er status breast cancer characterization.	GECCO	2007	DBLP DOI BibTeX RDF	IFRAIS, aCGH, fuzzy rules induction, data mining, AIS, breast cancer
3	Wook Je Park, Sang H. Lee, Won Kyung Joo, Jung Il Song	A Mixed Algorithm of PCA and LDA for Fault Diagnosis of Induction Motor.	ICIC	2007	DBLP DOI BibTeX RDF	PCA, fault diagnosis, LDA, induction motor
3	Kuei-Hsiang Chao, Yu-Ren Shen	An Adaptive Speed Controller for Induction Motor Drives Using Adaptive Neuro-Fuzzy Inference System.	ICIC	2007	DBLP DOI BibTeX RDF	Indirect field-oriented induction motor drive system, two-degree-of- freedom controller, adaptive neuro-fuzzy inference system
3	Lin Chen, Kangling Fang, Zifan Hu	Direct Torque Control for Dual Three Phase Induction Machine Using Fuzzy Space Voltage Modulation.	ICIC	2007	DBLP DOI BibTeX RDF	Space Voltage Modulation, Dual-Three-Phase Induction Machine, Fuzzy Control, Direct Torque Control
3	Xin Wang, Xianzhong Dai	The ANN Inverse Control of Induction Motor with Robust Flux Observer Based on ESO.	ISNN	2007	DBLP DOI BibTeX RDF	neural network inverse, extended state observer, linearize and decouple, simulation, robust, induction motor
3	Omar Juárez Gambino, Hiram Calvo	On the Usage of Morphological Tags for Grammar Induction.	MICAI	2007	DBLP DOI BibTeX RDF	Syntactic Tagging, Morphological Tags, ABL, Grammar Induction
3	Filippo Menolascina, Roberto Teixeira Alves, Stefania Tommasi, Patrizia Chiarappa, Myriam Regattieri Delgado, Vitoantonio Bevilacqua, Giuseppe Mastronardi, Alex Alves Freitas, Angelo Paradiso	Fuzzy Rule Induction and Artificial Immune Systems in Female Breast Cancer Familiarity Profiling.	KES	2007	DBLP DOI BibTeX RDF	aCGH, Fuzzy Rules Induction, Data Mining, AIS, Breast Cancer
3	Sheng Yang, V. Ajjarapu	Web-based speed control of induction motor with inverter dead-time compensation.	SCSC	2007	DBLP DOI BibTeX RDF	dead-time compensation, induction motor drives, web-based control, rapid prototyping, model-based design
3	An-Te Nguyen, Nathalie Denos, Catherine Berrut	Improving new user recommendations with rule-based induction on cold user data.	RecSys	2007	DBLP DOI BibTeX RDF	cold user data, new-user problem, rule-based induction, recommender systems, collaborative filtering, cold start problem
3	Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue	Towards a Logical Reconstruction of CF-Induction.	JSAI	2007	DBLP DOI BibTeX RDF	inverse entailment, CF-induction, generalisation operator
3	Andrew M. Pitts	Alpha-structural recursion and induction.	J. ACM	2006	DBLP DOI BibTeX RDF	recursion, induction, names, Abstract syntax, binders
3	Michael Beeson	Mathematical Induction in Otter-Lambda.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	computer proofs, second-order, Otter, mathematical induction, unification, automated deduction
3	A. Hazzab, I. K. Bousserhane, M. Zerbo, P. Sicard	Real Time Implementation of Fuzzy Gain Scheduling of PI Controller for Induction Motor Machine Control.	Neural Processing Letters	2006	DBLP DOI BibTeX RDF	gain scheduling, fuzzy control, induction motor, real-time implementation, PI controller
3	Louis E. Loeb	Psychology, epistemology, and skepticism in Hume's argument about induction.	Synthese	2006	DBLP DOI BibTeX RDF	Garrett, Reason, Induction, Internalism, Externalism, Hume
3	Lemuel R. Waitman, Douglas H. Fisher, Paul H. King	Bootstrapping rule induction to achieve rule stability and reduction.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Perioperative medicine, Rule similarity, Rule visualization, Rule abstraction, Algorithm stability, Bootstrapping, Multidimensional scaling, Rule induction, Decision rules
3	Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi	Induction-Guided Falsification.	ICFEM	2006	DBLP DOI BibTeX RDF	observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
3	Yixin Shou, Robert A. van Engelen, Johnnie Birch, Kyle A. Gallivan	Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	loop parallelization, recurrences, induction variables, compiler algorithms
3	Vishnu C. Vimjam, Michael S. Hsiao	Fast illegal state identification for improving SAT-based induction.	DAC	2006	DBLP DOI BibTeX RDF	learning, ATPG, SAT, induction
3	Francisco José Berlanga, María José del Jesús, Pedro González, Francisco Herrera, Mikel Mesonero	Multiobjective Evolutionary Induction of Subgroup Discovery Fuzzy Rules: A Case Study in Marketing.	Industrial Conference on Data Mining	2006	DBLP DOI BibTeX RDF	descriptive induction, Data mining, subgroup discovery, genetic fuzzy systems, multiobjective evolutionary algorithms
3	Mohammed Waleed Kadous, Claude Sammut	Classification of Multivariate Time Series and Structured Data Using Constructive Induction.	Machine Learning	2005	DBLP DOI BibTeX RDF	propositionalisation, substructure, time series, constructive induction
3	Chiaki Sakama	Induction from answer sets in nonmonotonic logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	nonmonotonic logic programs, induction, Answer sets
3	Zhongmin Shi, Evangelos E. Milios, A. Nur Zincir-Heywood	Post-Supervised Template Induction for Information Extraction from Lists and Tables in Dynamic Web Sources.	J. Intell. Inf. Syst.	2005	DBLP DOI BibTeX RDF	template induction, information extraction, unsupervised learning, grammar induction
3	Leila Shila Shafti, Eduardo Pérez	Constructive induction and genetic algorithms for learning concepts with complex interaction.	GECCO	2005	DBLP DOI BibTeX RDF	shared attributes, genetic algorithms, feature selection, feature construction, constructive induction, attribute interaction
3	Goldee Udani, Shachi Dave, Anthony Davis, Tim Sibley	Noun sense induction using web search results.	SIGIR	2005	DBLP DOI BibTeX RDF	noun sense induction, clustering, evaluation, disambiguation
3	Katsumi Inoue	Induction as Consequence Finding.	Machine Learning	2004	DBLP DOI BibTeX RDF	consequence finding, inverse entailment, induction, abduction
3	Salvatore Greco, Roman Slowinski, Jerzy Stefanowski, Marcin Zurawski	Incremental versus Non-incremental Rule Induction for Multicriteria Classification.	T. Rough Sets	2004	DBLP DOI BibTeX RDF	classification and sorting, incremental learning, rule induction, multiple criteria decision analysis
3	Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín	On the quantifier complexity of bigtriangleupn+1 (T)? induction.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	n+1, Quantifier complexity, Induction, formulas
3	Alejandro Fernández-Margarit, Francisco Félix Lara Martín	Induction, minimization and collection for Deltan+1(T)-formulas.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	n+1, Induction, Collection, formulas
3	Qinghui Wu, Yi Liu, Dianjun Zhang, Yonghui Zhang	Adaptive Control for Induction Servo Motor Based on Wavelet Neural Networks.	ISNN	2004	DBLP DOI BibTeX RDF	Servo induction motor, Adaptive learning control, Wavelet neural network
3	Faizan Javed, Barrett R. Bryant, Matej Crepinsek, Marjan Mernik, Alan P. Sprague	Context-free grammar induction using genetic programming.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	genetic programming, context-free grammars, grammar-induction
3	Mohammed Waleed Kadous, Claude Sammut	Constructive Induction for Classifying Time Series.	ECML	2004	DBLP DOI BibTeX RDF	machine learning, time series, constructive induction
3	Jérôme Callut, Pierre Dupont	A Markovian Approach to the Induction of Regular String Distributions.	ICGI	2004	DBLP DOI BibTeX RDF	HMM topology induction, Partially observable Markovmodel, Mean first passage time, Lumped Markov process, State splitting algorithm
3	Srinivasan Ragothaman, Bijayananda Naik, Kumoli Ramakrishnan	Predicting Corporate Acquisitions: An Application of Uncertain Reasoning Using Rule Induction.	Information Systems Frontiers	2003	DBLP DOI BibTeX RDF	mergers and acquisitions, machine learning, expert systems, rule induction, uncertain reasoning
3	Wei Li 0010, Andrew McCallum	Rapid development of Hindi named entity recognition using conditional random fields and feature induction.	ACM Trans. Asian Lang. Inf. Process.	2003	DBLP DOI BibTeX RDF	feature induction, conditional random fields, Extraction
3	César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Induction of Decision Multi-trees Using Levin Search.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF	Levin search, Machine Learning, Minimum Description Length (MDL), Decision-tree Induction, Inductive Logic Programming (ILP)
3	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.	PPDP	2002	DBLP DOI BibTeX RDF	ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing
3	José A. Sanandrés, Victor Maojo, José Crespo, Agustín Gómez	A Clustering-Based Constructive Induction Method and Its Application to Rheumatoid Arthritis.	AIME	2001	DBLP DOI BibTeX RDF	rheumatoid arthritis, clustering, machine learning, inductive learning, constructive induction
3	Deepak Kapur, Mahadevan Subramaniam	Using an induction prover for verifying arithmetic circuits.	STTT	2000	DBLP DOI BibTeX RDF	Induction, Automated reasoning, Decision procedures, Rewriting, Arithmetic circuits, Hardware verification
3	Jianchao Han, Aijun An, Nick Cercone	CViz: An Interactive Visualization System for Rule Induction.	Canadian Conference on AI	2000	DBLP DOI BibTeX RDF	machine learning, knowledge discovery, interactive visualization, rule induction
3	Trong Dung Nguyen, Tu Bao Ho, Hiroshi Shimodaira	A visualization tool for interactive learning of large decision trees.	ICTAI	2000	DBLP DOI BibTeX RDF	large decision tree visualization, moderately sized datasets, decision tree induction programs, very large trees, T2 5D, data mining, data mining, decision trees, interactive systems, data visualisation, very large databases, learning process, visualization tool, interactive learning, large datasets, learning by example, visualization technique, decision tree induction, tree visualizers, learning techniques
3	Naijun Zhan	Another formal proof for Deadline Driven Scheduler.	RTCSA	2000	DBLP DOI BibTeX RDF	Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
3	Aurora T. R. Pozo, Mozart Hasse	A Genetic Classifier Tool.	SCCC	2000	DBLP DOI BibTeX RDF	genetic classifier tool, intelligent tools, induction based learning systems, induction-based classifier tool, Michigan approach, phenotypic sharing, genetic algorithms, genetic algorithm, data mining, data mining, optimization, data structures, data structures, knowledge discovery, pattern classification, enterprise information system, very large databases, learning by example, large databases, genetic operators
3	Nick Cercone, Aijun An, Christine W. Chan	Rule-Induction and Case-Based Reasoning: Hybrid Architectures Appear Advantageous.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	numeric prediction, machine learning, classification, Case-based reasoning, rule induction
3	Xindong Wu, David Urpani	Induction By Attribute Elimination.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Data mining, rule induction, information entropy, attribute selection
3	Douglas A. Newlands, Geoffrey I. Webb	Convex Hulls in Concept Induction.	PAKDD	1999	DBLP DOI BibTeX RDF	classification learning, convex hulls, induction
3	Meide Zhao, Francis K. H. Quek, Xindong Wu	RIEVL: Recursive Induction Learning in Hand Gesture Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	hand pose recognition, rule-based induction, disjunctive norm form, variable-valued logic, machine learning, feature selection, feature detection, Hand gesture
3	C. Rosen, D. Simper, J. I. Bostock	An augmented induction for HND computer studies students through an early integrated, inter-disciplinary assignment.	ITiCSE	1998	DBLP DOI BibTeX RDF	modular integration, problem solving, induction, progression rates
3	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
3	Jiming Liu, Michel Desmarais	A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Belief-network induction, implication networks, implication-network induction, knowledge engineering, Monte-Carlo simulation, learning algorithms, probabilistic reasoning, empirical validation, evidential reasoning
3	Sean M. Callahan, Gerard Voland	Extracting knowledge from examples: Induction of heuristic rules for wheelchair prescription.	Journal of Intelligent and Robotic Systems	1995	DBLP DOI BibTeX RDF	Wheelchair prescription, equipment selection, machine learning, expert system, induction, rehabilitation, ID3
3	Michael P. Gerlek, Eric Stoltz, Michael Wolfe	Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable
3	Bob Berry, Goksan Erdogan, Duarte Trigueiros	Rule induction for financial modelling and model interpretation.	HICSS	1995	DBLP DOI BibTeX RDF	model interpretation, financial data analysis tasks, post processing task, financial variables, ration scale, knowledge based systems, inference mechanisms, rule induction, modelling tool, model building, ID3, corporate modelling, financial modelling
3	Jianan Li, Ichiro Suzuki, Masafumi Yamashita	A New Structural Induction Theorem for Rings of Temporal Petri Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	structural induction theorem, temporal Petri nets, identical components, temporal logic formula, similar behavior, demand-driven token circulation, Petri nets, formal verification, formal verification, temporal logic, correctness, temporal reasoning, rings
3	Kenichi Yoshida, Hiroshi Motoda, Nitin Indurkhya	Graph-based induction as a unified learning framework.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	Machine learning, graph, induction
3	Özden Gür-Ali, William A. Wallace	Induction of Rules Subject to a Quality Constraint: Probabilistic Inductive Learning.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	quality constraint, probabilistic inductive learning, organizational databases, tree induction algorithms, total branching, subset elimination, maximum misclassification levels, minimum reliability levels, automated decision processes, claims process, compensation board, learning (artificial intelligence), decision support system, decision support systems, knowledge acquisition, deductive databases, rule induction, tree data structures, uncertainty handling, rule generation, statistical quality control, decision processes
3	Brian R. Gaines, Paul Compton	Induction of Meta-knowledge about Knowledge Discovery.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	meta-knowledge induction, ripple-down rule induction, clinical data, thyroid diagnosis, inductive knowledge discovery, real-world data, Garvan thyroid database, rules with exceptions, medical administrative data processing, machine learning, learning (artificial intelligence), expert system, knowledge discovery, metamodel, meta-modeling, inference mechanisms, induct, error rates, medical diagnosis, medical diagnostic computing, medical expert systems
3	Padhraic Smyth, Rodney M. Goodman	An Information Theoretic Approach to Rule Induction from Databases.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	rule induction from databases, multiple concepts, generalized rule induction, rule preference measure, J-measure, hypothesis preference measure, ITRULE algorithm, learning, expert systems, knowledge acquisition, information theory, database management systems, learning systems, information theoretic approach
3	Nitin Indurkhya, Sholom M. Weiss	Iterative rule induction methods.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	induction techniques, Machine learning, rule-based systems
3	Der-Shung Yang, Gunnar Blix, Larry A. Rendell	The Replication Problem: A Constructive Induction Approach.	EWSL	1991	DBLP DOI BibTeX RDF	Empirical learning, constructive induction
3	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
3	Tadashi Kanamori, Hiroshi Fujita	Formulation of Induction Formulas in Verification of Prolog Programs.	CADE	1986	DBLP DOI BibTeX RDF	Prolog, Program Transformation, Program Verification, Induction
2	Chafik Maghzaoui, Houssem Jerbi, Mohamed Naceur Abdelkrim	A MIMO Time-Varying System Control Via a Stable Dynamic Inversion Methodology: Case of an Induction Machine.	CICSyN	2011	DBLP DOI BibTeX RDF	Dynamic Inversion, Trajectory Linearization, Induction Machine, Time-Varying Systems
2	Andre B. de Carvalho, Aurora Pozo, Silvia Regina Vergilio	A Non-ordered Rule Induction Algorithm through Multi-Objective Particle Swarm Optimization: Issues and Applications.	Multi-Objective Swarm Intelligent System	2010	DBLP DOI BibTeX RDF
2	Rodrigo C. Barros, Márcio P. Basgalupp, Duncan D. Ruiz, André Carlos Ponce Leon Ferreira de Carvalho, Alex Alves Freitas	Evolutionary model tree induction.	SAC	2010	DBLP DOI BibTeX RDF	data mining, evolutionary algorithms, multi-objective optimisation, model trees
2	Nicola Fanizzi, Claudia d'Amato, Floriana Esposito	Towards the induction of terminological decision trees.	SAC	2010	DBLP DOI BibTeX RDF
2	Minghao Piao, Meijing Li, Keun Ho Ryu	Using Significant Classification Rules to Analyze Korean Customers' Power Consumption Behavior: Incremental Tree Induction using Cascading-and-Sharing Method.	CIT	2010	DBLP DOI BibTeX RDF	significant classification rules, power consumption behavior, incremental mining, decision tree induction
2	Simon Siegler, Nathan Wasser (eds.)	Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
2	Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl	Termination Graphs for Java Bytecode.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
2	Christoph Benzmüller	Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners).	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
2	Markus Aderhold	Second-Order Programs with Preconditions.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
2	Brigitte Pientka	Programming Inductive Proofs - A New Approach Based on Contextual Types.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
2	Moa Johansson, Lucas Dixon, Alan Bundy	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
2	Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel	Specifying and Verifying Organizational Security Properties in First-Order Logic.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
2	Serge Autexier, Dieter Hutter, Till Mossakowski	Change Management for Heterogeneous Development Graphs.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF