Search results for "induction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	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
33	Salvatore Greco, Roman Slowinski, Jerzy Stefanowski, Marcin Zurawski	Incremental versus Non-incremental Rule Induction for Multicriteria Classification.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	classification and sorting, incremental learning, rule induction, multiple criteria decision analysis
33	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
33	Qinghui Wu, Yi Liu, Dianjun Zhang, Yonghui Zhang	Adaptive Control for Induction Servo Motor Based on Wavelet Neural Networks.	ISNN (2)	2004	DBLP DOI BibTeX RDF	Servo induction motor, Adaptive learning control, Wavelet neural network
33	Mohammed Waleed Kadous, Claude Sammut	Constructive Induction for Classifying Time Series.	ECML	2004	DBLP DOI BibTeX RDF	machine learning, time series, constructive induction
33	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
33	Srinivasan Ragothaman, Bijayananda Naik, Kumoli Ramakrishnan	Predicting Corporate Acquisitions: An Application of Uncertain Reasoning Using Rule Induction.	Inf. Syst. Frontiers	2003	DBLP DOI BibTeX RDF	mergers and acquisitions, machine learning, expert systems, rule induction, uncertain reasoning
33	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
33	Deepak Kapur, Mahadevan Subramaniam	Using an induction prover for verifying arithmetic circuits.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Induction, Automated reasoning, Decision procedures, Rewriting, Arithmetic circuits, Hardware verification
33	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
33	Meide Zhao, Francis K. H. Quek, Xindong Wu 0001	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
33	Sean M. Callahan, Gerard Voland	Extracting knowledge from examples: Induction of heuristic rules for wheelchair prescription.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	Wheelchair prescription, equipment selection, machine learning, expert system, induction, rehabilitation, ID3
33	Jesus Roberto Millan-Almaraz, René de Jesús Romero-Troncoso, Luis Miguel Contreras-Medina, Arturo Garcia-Perez	Embedded FPGA based induction motor monitoring system with speed drive fed using multiple wavelet analysis.	SIES	2008	DBLP DOI BibTeX RDF
33	Bishan Yang, Tengjiao Wang 0003, Dongqing Yang, Lei Chang	BOAI: Fast Alternating Decision Tree Induction Based on Bottom-Up Evaluation.	PAKDD	2008	DBLP DOI BibTeX RDF	ADTree, BOAI, classification, decision tree
33	Hasan Riza Özçalik, Ceyhun Yildiz, Mustafa Danaci, Zafer Koca	RBF Based Induction Motor Control with a Good Nonlinearity Compensation.	IWANN	2007	DBLP DOI BibTeX RDF
33	James Brotherston, Alex Simpson	Complete Sequent Calculi for Induction and Infinite Descent.	LICS	2007	DBLP DOI BibTeX RDF
33	Chao Wang 0001, Aarti Gupta, Franjo Ivancic	Induction in CEGAR for Detecting Counterexamples.	FMCAD	2007	DBLP DOI BibTeX RDF
33	Ian Cloete, Jacobus van Zyl	Fuzzy rule induction in a set covering framework.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
33	Mizuho Mishima, Makoto Kikuchi	Mathematical Models of Category-Based Induction.	Discovery Science	2006	DBLP DOI BibTeX RDF
33	Kenichi Kurihara, Taisuke Sato	Variational Bayesian Grammar Induction for Natural Language.	ICGI	2006	DBLP DOI BibTeX RDF
33	Zina Ben-Miled, Malika Mahoui, Mindi Dippold, Ali Farooq 0003, Nianhua Li, Omran A. Bukhres	A Wrapper Induction Application with Knowledge Base Support: A Use Case for Initiation and Maintenance of Wrappers.	BIBE	2005	DBLP DOI BibTeX RDF
33	Sorin Stratulat	Automatic 'Descente Infinie' Induction Reasoning.	TABLEAUX	2005	DBLP DOI BibTeX RDF
33	Jiyuan An, Yi-Ping Phoebe Chen	Yet Another Induction Algorithm.	KES (2)	2005	DBLP DOI BibTeX RDF
33	Qingshuang Jiang, Syed Sibte Raza Abidi	From Clusters to Rules: A Hybrid Framework for Generalized Symbolic Rule Induction.	ICMLC	2005	DBLP DOI BibTeX RDF
33	Jerzy W. Grzymala-Busse	Three Strategies to Rule Induction from Data with Numerical Attributes.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
33	Songbo Tan, Jun Gu	An Efficient Rules Induction Algorithm for Rough Set Classification.	Discovery Science	2004	DBLP DOI BibTeX RDF
33	Ulrich Berger 0001	A Computational Interpretation of Open Induction.	LICS	2004	DBLP DOI BibTeX RDF
33	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea	Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).	CAV	2003	DBLP DOI BibTeX RDF
33	Lewis J. Frey, Douglas H. Fisher, Ioannis Tsamardinos, Constantin F. Aliferis, Alexander R. Statnikov	Identifying Markov Blankets with Decision Tree Induction.	ICDM	2003	DBLP DOI BibTeX RDF
33	Peiyi Tang, Pen-Chung Yew	Interprocedural Induction Variable Analysis.	ISPAN	2002	DBLP DOI BibTeX RDF
33	Peng Wu 0001, Albert Cohen 0001, David A. Padua	Induction Variable Analysis without Idiom Recognition: Beyond Monotonicity.	LCPC	2001	DBLP DOI BibTeX RDF
33	Nicolas Lachiche, Pierre Marquis	A Model for Generalization Based on Confirmatory Induction.	ECML	1997	DBLP DOI BibTeX RDF
33	Bob Evans, Douglas H. Fisher	Overcoming Process Delays with Decision Tree Induction.	IEEE Expert	1994	DBLP DOI BibTeX RDF
33	Xin Hua, Hantao Zhang 0001	FRI: Failure-Resistant Induction in RRL.	CADE	1992	DBLP DOI BibTeX RDF
33	Martin C. Henson	Safe Positive Induction in the Programming Logic TK.	RCLP	1991	DBLP DOI BibTeX RDF
33	Uday S. Reddy	Term Rewriting Induction.	CADE	1990	DBLP DOI BibTeX RDF
33	Yoshihito Toyama	How to Prove Equivalence of Term Rewriting Systems without Induction.	CADE	1986	DBLP DOI BibTeX RDF
33	Amelia C. Fong, Jeffrey D. Ullman	Induction Variables in Very High Level Languages.	POPL	1976	DBLP DOI BibTeX RDF
31	Andrzej Skowron, Hui Wang 0001, Arkadiusz Wojna, Jan G. Bazan	Multimodal Classification: Case Studies.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF	multimodal classifier, lattice machine, rough sets, k-nearest neighbors, rule induction, hierarchical classification
31	Matej Crepinsek, Marjan Mernik, Viljem Zumer	Extracting grammar from programs: brute force approach.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	learning from positive and negative examples, exhaustive search, grammar induction, grammar inference
31	Su Feng	Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	automated formal proving, cover-set induction, dynamic term rewriting calculus, weakly ground termination, term rewriting system
31	Andrzej Skowron, Hui Wang 0001, Arkadiusz Wojna, Jan G. Bazan	A Hierarchical Approach to Multimodal Classification.	RSFDGrC (2)	2005	DBLP DOI BibTeX RDF	multimodal classifier, lattice machine, rough sets, rule induction, Hierarchical classification, k-NN
31	Jérôme Callut, Pierre Dupont	Inducing Hidden Markov Models to Model Long-Term Dependencies.	ECML	2005	DBLP DOI BibTeX RDF	HMM topology induction, Partially observable Markov models, Mean first passage times, Lumped Markov process, State splitting algorithm
31	Abhik Roychoudhury, I. V. Ramakrishnan	Inductively Verifying Invariant Properties of Parameterized Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	induction proofs, logic programming, program transformations, concurrent systems, unfolding, folding, parameterized systems
31	Eitan Sharon, Achi Brandt, Ronen Basri	Completion Energies and Scale.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Curve completion, curve saliency, least-energy curve, elastica curve, induction field, completion field, fast summation, scale, perceptual grouping, multiscale
31	Jianchao Han, Xiaohua Hu 0001, Nick Cercone	Supervised Learning: A Generalized Rough Set Approach.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF	classification, supervised learning, Rough set theory, rule induction
31	Xiaoying Gao, Le Phong Bao Vuong, Mengjie Zhang 0001	Automatic Data Record Detection in Web Pages.	KSEM	2007	DBLP DOI BibTeX RDF
31	Yi Cheng, Duoqian Miao, Qinrong Feng	A Novel Approach to Generating fuzzy Rules Based on Dynamic Fuzzy Rough Sets.	GrC	2007	DBLP DOI BibTeX RDF
31	Reiner Hähnle, Angela Wallenburg	Using a Software Testing Technique to Improve Theorem Proving.	FATES	2003	DBLP DOI BibTeX RDF
31	Robert van Engelen	Efficient Symbolic Analysis for Optimizing Compilers.	CC	2001	DBLP DOI BibTeX RDF
31	Ben Wegbreit, Jay M. Spitzen	Proving Properties of Complex Data Structures.	J. ACM	1976	DBLP DOI BibTeX RDF
29	José A. Sanandrés-Ledesma, Victor Maojo, José Crespo, Miguel García-Remesal, A. Gómez de la Cámara	A Performance Comparative Analysis Between Rule-Induction Algorithms and Clustering-Based Constructive Rule-Induction Algorithms. Application to Rheumatoid Arthritis.	ISBMDA	2004	DBLP DOI BibTeX RDF
26	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
26	Hassan Moghbelli, Akbar Rahideh, Ali A. Safavi	Using Wavelet Based Neural Networks for Feedback Signals Estimation of a Vector Controlled Induction Motor Drive.	ISNN (1)	2009	DBLP DOI BibTeX RDF	wavenet, vector control of induction motors, feedback signals, Neural Networks
26	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
26	Bartlomiej Sniezynski	Agent Strategy Generation by Rule Induction in Predator-Prey Problem.	ICCS (2)	2009	DBLP DOI BibTeX RDF	machine learning, multi-agent systems, rule induction
26	Chao Yang 0020, 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
26	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
26	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
26	Ngoc-Tu Nguyen 0001, Hong-Hee Lee	An Application of Support Vector Machines for Induction Motor Fault Diagnosis with Using Genetic Algorithm.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Induction motor faults, distance criterion, genetic algorithm, support vector machine, diagnosis
26	Rodrigo López Cárdenas, Luis Pastor Sánchez Fernández, Oleksiy B. Pogrebnyak, Á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
26	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
26	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 (2)	2007	DBLP DOI BibTeX RDF	PCA, fault diagnosis, LDA, induction motor
26	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
26	Lin Chen, Kangling Fang, Zifan Hu	Direct Torque Control for Dual Three Phase Induction Machine Using Fuzzy Space Voltage Modulation.	ICIC (1)	2007	DBLP DOI BibTeX RDF	Space Voltage Modulation, Dual-Three-Phase Induction Machine, Fuzzy Control, Direct Torque Control
26	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
26	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 (3)	2007	DBLP DOI BibTeX RDF	aCGH, Fuzzy Rules Induction, Data Mining, AIS, Breast Cancer
26	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
26	Abdeldjbar Hazzab, Ismail Khalil Bousserhane, M. Zerbo, Pierre Sicard	Real Time Implementation of Fuzzy Gain Scheduling of PI Controller for Induction Motor Machine Control.	Neural Process. Lett.	2006	DBLP DOI BibTeX RDF	gain scheduling, fuzzy control, induction motor, real-time implementation, PI controller
26	Francisco José Berlanga, María José del Jesus, Pedro González 0001, Francisco Herrera, Mikel Mesonero	Multiobjective Evolutionary Induction of Subgroup Discovery Fuzzy Rules: A Case Study in Marketing.	ICDM	2006	DBLP DOI BibTeX RDF	descriptive induction, Data mining, subgroup discovery, genetic fuzzy systems, multiobjective evolutionary algorithms
26	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
26	Mohammed Waleed Kadous, Claude Sammut	Classification of Multivariate Time Series and Structured Data Using Constructive Induction.	Mach. Learn.	2005	DBLP DOI BibTeX RDF	propositionalisation, substructure, time series, constructive induction
26	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
26	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
26	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
26	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 (1)	2002	DBLP DOI BibTeX RDF	Levin search, Machine Learning, Minimum Description Length (MDL), Decision-tree Induction, Inductive Logic Programming (ILP)
26	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
26	Douglas A. Newlands, Geoffrey I. Webb	Convex Hulls in Concept Induction.	PAKDD	1999	DBLP DOI BibTeX RDF	classification learning, convex hulls, induction
26	Clive 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
26	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
26	Bob Berry, Goksan Erdogan, Duarte Trigueiros	Rule induction for financial modelling and model interpretation.	HICSS (3)	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
26	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
26	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
26	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
26	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
26	Donald Gray, Zoltan Szekely, Constantin Apostoaia	Real-time observer for the vector control of an induction motor drive.	EIT	2009	DBLP DOI BibTeX RDF
26	Hong-Hee Lee, Hoang M. Nguyen	Implementation of Induction Motor Control System Using Matrix Converter Based on CAN Network and Dual-Port RAM.	ICIC (2)	2009	DBLP DOI BibTeX RDF	CAN network, dual-port RAM, Matrix converter
26	Masahiro Inuiguchi	Rough Set Approach to Rule Induction from Imprecise Decision Tables.	WILF	2009	DBLP DOI BibTeX RDF
26	Carlos Rodriguez-Donate, René de Jesús Romero-Troncoso, Arturo Garcia-Perez, Daniel A. Razo-Montes	FPGA based embedded system for induction motor failure monitoring at the start-up transient vibrations with wavelets.	SIES	2008	DBLP DOI BibTeX RDF
26	Chen Chen, Ning Mao, Qing-xin Chen	Knowledge Induction for Injection Mould Repairs Based on Rough Set.	FSKD (2)	2008	DBLP DOI BibTeX RDF
26	Jerzy Stefanowski	On Combined Classifiers, Rule Induction and Rough Sets.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
26	Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe, Agnieszka Kordek, Teresa Mroczek, Wojciech Podraza	Neonatal Infection Diagnosis Using Constructive Induction in Data Mining.	RSFDGrC	2007	DBLP DOI BibTeX RDF
26	T. Sulawa, Zivan Zabar, Dariusz Czarkowski, L. Birenbaum, S. Lee, Y. TenAmi	Short Circuit Current of Induction Generators.	ISCAS	2007	DBLP DOI BibTeX RDF
26	Isabelle Gnaedig	Induction for positive almost sure termination.	PPDP	2007	DBLP DOI BibTeX RDF	constraint, probability, abstraction, termination, narrowing
26	Jing Xiao 0005	Fuzzy Pattern Rule Induction for Information Extraction.	ISICA	2007	DBLP DOI BibTeX RDF
26	Vishnu C. Vimjam, Michael S. Hsiao	Explicit Safety Property Strengthening in SAT-based Induction.	VLSI Design	2007	DBLP DOI BibTeX RDF
26	Dragi Kocev, Jan Struyf, Saso Dzeroski	Beam Search Induction and Similarity Constraints for Predictive Clustering Trees.	KDID	2006	DBLP DOI BibTeX RDF
26	Lekha Chaisorn, Tat-Seng Chua	Story Boundary Detection in News Video using Global Rule Induction Technique.	ICME	2006	DBLP DOI BibTeX RDF
26	Sang Woo Nam, M. Nasir Uddin	Development of an Adaptive Backstepping Based Nonlinear Control of an Induction Motor Incorporating Iron Loss with Parameter Uncertainties.	CCECE	2006	DBLP DOI BibTeX RDF
26	Phu Chien Nguyen, Kouzou Ohara, Akira Mogi, Hiroshi Motoda, Takashi Washio	Constructing Decision Trees for Graph-Structured Data by Chunkingless Graph-Based Induction.	PAKDD	2006	DBLP DOI BibTeX RDF