Search results for "induction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Olgierd Unold	Learning Classifier System Approach to Natural Language Grammar Induction.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
20	Zhang Zhang 0001, Kaiqi Huang, Tieniu Tan, Liangsheng Wang	Trajectory Series Analysis based Event Rule Induction for Visual Surveillance.	CVPR	2007	DBLP DOI BibTeX RDF
20	An Zeng, Dan Pan 0001, Yongquan Yu, Bi Zeng	Rule Induction for Prediction of MHC II-Binding Peptides.	RSKT	2007	DBLP DOI BibTeX RDF
20	Sorin Stratulat	'Descente Infinie' Induction-Based Saturation Procedures.	SYNASC	2007	DBLP DOI BibTeX RDF
20	Alireza Khosravi, Aliakbar Jalali 0001, Hamed Mojallali	Robust Control Design for a Wind Turbine-Induction Generator Unit.	AICCSA	2007	DBLP DOI BibTeX RDF
20	Kweku-Muata Osei-Bryson, Kendall Giles	Splitting methods for decision tree induction: An exploration of the relative performance of two entropy-based families.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Splitting methods, Machine learning, Classification, Decision trees, Entropy
20	Michael Roizman, Mark Last	Look-Ahead Mechanism Integration in Decision Tree Induction Models.	Advances in Web Intelligence and Data Mining	2006	DBLP DOI BibTeX RDF
20	Arik Friedman, Assaf Schuster, Ran Wolff 0001	k-Anonymous Decision Tree Induction.	PKDD	2006	DBLP DOI BibTeX RDF	decision trees, k-anonymity, privacy preserving data mining
20	Stephan Falke 0001, Deepak Kapur	Inductive Decidability Using Implicit Induction.	LPAR	2006	DBLP DOI BibTeX RDF
20	Kazutoshi Sasahara, Yasuki Kakishita, Tetsuro Nishino, Miki Takahasi, Kazuo Okanoya	Constructing Song Syntax by Automata Induction.	ICGI	2006	DBLP DOI BibTeX RDF
20	Pieter W. Adriaans, Ceriel J. H. Jacobs	Using MDL for Grammar Induction.	ICGI	2006	DBLP DOI BibTeX RDF
20	Zhengyun Ran, Huade Li, Shujin Chen	Application of Optimized EKF in Direct Torque Control System of Induction Motor.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
20	Jang-Hwan Park, Dae Jong Lee, Myung-Geun Chun	Fault Diagnosis for Induction Machines Using Kernel Principal Component Analysis.	ISNN (2)	2006	DBLP DOI BibTeX RDF
20	Deniz Yuret, Michael de la Maza	The Greedy Prepend Algorithm for Decision List Induction.	ISCIS	2006	DBLP DOI BibTeX RDF
20	Ruiming Fang	Induction Machine Rotor Diagnosis Using Support Vector Machines and Rough Set.	ICIC (2)	2006	DBLP DOI BibTeX RDF
20	Jing Xiao 0005	A Two-View CoTraining Rule Induction System for Information Extraction.	ICIC (2)	2006	DBLP DOI BibTeX RDF
20	Xu-hong Wang, Yi-gang He	Fuzzy Model based On-line Stator Winding Turn Fault Detection for Induction Motors.	ISDA (1)	2006	DBLP DOI BibTeX RDF
20	Marek Sikora, Marcin Michalak 0001	NetTRS - Induction and Postprocessing of Decision Rules.	RSCTC	2006	DBLP DOI BibTeX RDF
20	Alma Y. Alanis, Edgar N. Sánchez, Alexander G. Loukianov	Discrete- Time Recurrent Neural Induction Motor Control using Kalman Learning.	IJCNN	2006	DBLP DOI BibTeX RDF
20	Kwok-wai Louie, P. Wilson	Aggregation of Induction Motors Based on their Specifications.	CCECE	2006	DBLP DOI BibTeX RDF
20	Hamid Shokrollah Timorabadi	Voltage Source Inverter for Voltage and Frequency Control of a Stand-Alone Self-Excited Induction Generator.	CCECE	2006	DBLP DOI BibTeX RDF
20	Jagdish G. Chaudhari, Sandeep K. Mude, Prakash G. Gabhane	High Performance Direct Torque Control of Induction Motor using Space Vector Modulation.	CCECE	2006	DBLP DOI BibTeX RDF
20	H. Bouzida, Omar Touhami, Rachid Ibtiouen, Maurice Fadel, M. Benhaddadi, Guy Olivier	Model Structures Used in Rotor Defect Identification of a Squirrel Cage Induction Machine.	CCECE	2006	DBLP DOI BibTeX RDF
20	Oscar Barambones, Aitor J. Garrido, Francisco Javier Maseda, Patxi Alkorta	Speed Sensorless Vector Control of Induction Motors Based on Robust Adaptive Variable Structure Control Law.	ETFA	2006	DBLP DOI BibTeX RDF
20	Wiebke Petersen	Type Signature Induction with FCAType.	CLA	2006	DBLP DOI BibTeX RDF
20	Myung-Seok Choi, Chul Su Lim, Key-Sun Choi	Automatic Partial Parsing Rule Acquisition Using Decision Tree Induction.	IJCNLP	2005	DBLP DOI BibTeX RDF
20	Andrew M. Pitts	Alpha-Structural Recursion and Induction.	TPHOLs	2005	DBLP DOI BibTeX RDF
20	Douglas H. Fisher, Mary E. Edgerton, Lianhong Tang, Lewis J. Frey, Zhihua Chen	Searching for Meaningful Feature Interactions with Backward-Chaining Rule Induction.	IDA	2005	DBLP DOI BibTeX RDF
20	Harald Hammarström	A New Algorithm for Unsupervised Induction of Concatenative Morphology.	FSMNLP	2005	DBLP DOI BibTeX RDF
20	Sebastian Pop, Albert Cohen 0001, Georges-André Silber	Induction Variable Analysis with Delayed Abstractions.	HiPEAC	2005	DBLP DOI BibTeX RDF
20	Ying Yang 0001, Xindong Wu 0001	Parameter Tuning for Induction-Algorithm-Oriented Feature Elimination.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF	feature elimination, inductive learning, parameter tuning
20	Markus Wedler, Dominik Stoffel, Wolfgang Kunz	Exploiting state encoding for invariant generation in induction-based property checking.	ASP-DAC	2004	DBLP DOI BibTeX RDF
20	Jerzy Jelonkiewicz, Andrzej Przybyl	Influence of the Training Set Selection on the Performance of the Neural Network State Variables Estimators in the Induction Motor.	ICAISC	2004	DBLP DOI BibTeX RDF
20	Mohammad Reza Rafimanzelat, Babak Nadjar Araabi	Application of Rough Sets Techniques to Induction Machine Broken Bar Detection.	ICAISC	2004	DBLP DOI BibTeX RDF
20	Mohamad Shukri, Marzuki Khalid, Rubiyah Yusof, Mohd Shafawi	Induction Machine Diagnostic Using Adaptive Neuro Fuzzy Inferencing System.	KES	2004	DBLP DOI BibTeX RDF
20	Andrzej Skowron, Arkadiusz Wojna	K Nearest Neighbor Classification with Local Induction of the Simple Value Difference Metric.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
20	Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín	Provably Total Primitive Recursive Functions: Theories with Induction.	CSL	2004	DBLP DOI BibTeX RDF
20	Clayton Matthew Johnson, James Farrell	Evolutionary Induction of Grammar Systems for Multi-agent Cooperation.	EuroGP	2004	DBLP DOI BibTeX RDF
20	Foster J. Provost, Pedro M. Domingos	Tree Induction for Probability-Based Ranking.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	Laplace correction, classification, decision trees, ranking, bagging, cost-sensitive learning, probability estimation
20	Lemuel R. Waitman, Douglas H. Fisher, Paul H. King	Bootstrapping Rule Induction.	ICDM	2003	DBLP DOI BibTeX RDF
20	Mahdi Jalili-Kharaajoo, Hassan Ebrahimirad	Improvement of Second Order Sliding-Mode Controller Applied to Position Control of Induction Motors Using Fuzzy Logic.	IFSA	2003	DBLP DOI BibTeX RDF
20	Markus Wedler, Dominik Stoffel, Wolfgang Kunz	Using RTL Statespace Information and State Encoding for Induction Based Property Checking.	DATE	2003	DBLP DOI BibTeX RDF
20	Georgios Sigletos, Georgios Paliouras, Constantine D. Spyropoulos, Michael Hatzopoulos	Mining Web Sites Using Wrapper Induction, Named Entities, and Post-processing.	EWMF	2003	DBLP DOI BibTeX RDF
20	Aiping Li, Gui-Ping Liao, Quanyuan Wu	A Rule Induction Method of Plant Disease Description Based on Rough Sets.	RSFDGrC	2003	DBLP DOI BibTeX RDF
20	Jing Xiao, Tat-Seng Chua, Jimin Liu	A Global Rule Induction Approach to Information Extraction.	ICTAI	2003	DBLP DOI BibTeX RDF
20	Warodom Geamsakul, Tetsuya Yoshida, Kouzou Ohara, Hiroshi Motoda, Takashi Washio, Hideto Yokoi, Katsuhiko Takabayashi	Extracting Diagnostic Knowledge from Hepatitis Dataset by Decision Tree Graph-Based Induction.	Active Mining	2003	DBLP DOI BibTeX RDF
20	Gilles Barthe, Sorin Stratulat	Validation of the JavaCard Platform with Implicit Induction Techniques.	RTA	2003	DBLP DOI BibTeX RDF
20	Warodom Geamsakul, Takashi Matsuda, Tetsuya Yoshida, Hiroshi Motoda, Takashi Washio	Classifier Construction by Graph-Based Induction for Graph-Structured Data.	PAKDD	2003	DBLP DOI BibTeX RDF
20	Nicola Fanizzi, Floriana Esposito, Stefano Ferilli, Giovanni Semeraro	A Methodology for the Induction of Ontological Knowledge from Semantic Annotations.	AI*IA	2003	DBLP DOI BibTeX RDF
20	Andrea Cantini	Polytime, combinatory logic and positive safe induction.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
20	Mahesh V. Joshi, Ramesh C. Agarwal, Vipin Kumar 0001	Predicting Rare Classes: Comparing Two-Phase Rule Induction to Cost-Sensitive Boosting.	PKDD	2002	DBLP DOI BibTeX RDF
20	Simon Ambler, Roy L. Crole, Alberto Momigliano	Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.	TPHOLs	2002	DBLP DOI BibTeX RDF
20	Jerzy Stefanowski, Alexis Tsoukiàs	Induction of Decision Rules and Classification in the Valued Tolerance Approach.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
20	Zaiping Chen, Qiang Gao, Chao Dong, Hongjin Liu, Peng Zhang, Zhenlin Xu	The Flux-Oriented Control of an Induction Machine Utilizing an Online Controller Parameter Adaptation Scheme.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
20	Piet van Remortel, Tom Lenaerts, Bernard Manderick	Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAs.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
20	Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001	A General Theory of Deduction, Induction, and Learning.	Discovery Science	2001	DBLP DOI BibTeX RDF
20	Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, James C. Dehnert, Suneel Jain, Alban Douillet	Speculative Prefetching of Induction Pointers.	CC	2001	DBLP DOI BibTeX RDF
20	Peng Wu 0001, Albert Cohen 0001, Jay P. Hoeflinger, David A. Padua	Monotonic evolution: an alternative to induction variable substitution for dependence analysis.	ICS	2001	DBLP DOI BibTeX RDF
20	Katsumi Inoue	Induction, Abduction, and Consequence-Finding.	ILP	2001	DBLP DOI BibTeX RDF
20	Dorian Suc, Ivan Bratko	Induction of Qualitative Trees.	ECML	2001	DBLP DOI BibTeX RDF
20	Boris Chidlovskii	Wrapping Web Information Providers by Transducer Induction.	ECML	2001	DBLP DOI BibTeX RDF
20	Pedro de Almeida	Direct Domain Knowledge Inclusion in the PA3 Rule Induction Algorithm.	PAKDD	2001	DBLP DOI BibTeX RDF
20	Milan Zorman, Vili Podgorelec, Peter Kokol, Margaret G. E. Peterson, Joseph M. Lane	Decision Tree's Induction Strategies Evaluated on a Hard Real World Problem.	CBMS	2000	DBLP DOI BibTeX RDF	evolutionary decision trees, orthopaedic fracture data, decision trees, hybrid methods
20	Carsten Schürmann	Workshop: Automation of Proofs by Mathematical Induction.	CADE	2000	DBLP DOI BibTeX RDF
20	Mary Sheeran, Satnam Singh, Gunnar Stålmarck	Checking Safety Properties Using Induction and a SAT-Solver.	FMCAD	2000	DBLP DOI BibTeX RDF
20	Calvin Ko	Logic Induction of Valid Behavior Specifications for Intrusion Detection.	S&P	2000	DBLP DOI BibTeX RDF	Specification-based detection, Valid behavior specifications, Machine Learning, Intrusion detection, Inductive Logic Programming, ILP
20	Jacek Jelonek, Maciej Komosinski	Genetic Algorithms in Constructive Induction.	ISMIS	1999	DBLP DOI BibTeX RDF	multi/meta-classification systems, machine learning, feature selection, knowledge representation, evolutionary computation
20	Delphine Michaut, Pierre Baptiste	Selection of a Relevant Feature Subset for Induction Tasks.	ISMIS	1999	DBLP DOI BibTeX RDF
20	Juzhen Dong, Ning Zhong 0001, Setsuo Ohsuga	Probabilistic Rough Induction: The GDT-RS Methodology and Algorithms.	ISMIS	1999	DBLP DOI BibTeX RDF
20	Yoshimitsu Kudoh, Makoto Haraguchi	An Appropriate Abstraction for an Attribute-Oriented Induction.	Discovery Science	1999	DBLP DOI BibTeX RDF
20	Henrik Boström, Lars Asker	Combining Divide-and-Conquer and Separate-and-Conquer for Efficient and Effective Rule Induction.	ILP	1999	DBLP DOI BibTeX RDF
20	Nobuhiro Yugami, Yuiko Ohta, Seishi Okamoto	Instance Guided Rule Induction.	Discovery Science	1998	DBLP DOI BibTeX RDF
20	Xindong Wu 0001, William H. W. Lo	Multi-layer Incremental Induction.	PRICAI	1998	DBLP DOI BibTeX RDF
20	Karl Crary	Admissibility of Fixpoint Induction over Partial Types.	CADE	1998	DBLP DOI BibTeX RDF
20	Konrad Slind	Derivation and Use of Induction Schemes in Higher-Order Logic.	TPHOLs	1997	DBLP DOI BibTeX RDF
20	Shusaku Tsumoto	Induction of Positive and Negative Deterministic Rules based on Rough Set Model.	ISMIS	1997	DBLP DOI BibTeX RDF
20	Martín Hötzel Escardó, Thomas Streicher	Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.	LICS	1997	DBLP DOI BibTeX RDF
20	Eva Armengol, Enric Plaza	Induction of Feature Terms With INDIE.	ECML	1997	DBLP DOI BibTeX RDF
20	Ricardo Vilalta, Gunnar Blix, Larry A. Rendell	Global Data Analysis and the Fragmentation Problem in Decision Tree Induction.	ECML	1997	DBLP DOI BibTeX RDF
20	Shusaku Tsumoto, Hiroshi Tanaka	Induction of Expert System Rules from Databases Based on Rough Set Theory and Resampling Methods.	ISMIS	1996	DBLP DOI BibTeX RDF
20	Alípio Jorge, Pavel Brazdil	Learning Recursion with Iterative Bootstrap Induction (Extended Abstract).	ECML	1995	DBLP DOI BibTeX RDF
20	Mark Wineberg, Franz Oppacher	A Representation Scheme To Perform Program Induction in a Canonical Genetic Algorithm.	PPSN	1994	DBLP DOI BibTeX RDF
20	Bernhard Pfahringer	Controlling Constructive Induction in CIPF: An MDL Approach.	ECML	1994	DBLP DOI BibTeX RDF
20	Jan J. M. M. Rutten	A Strucutral Co-Induction Theorem.	MFPS	1993	DBLP DOI BibTeX RDF
20	Günter Seidelmann	Using Heuristics to Speed up Induction on Continuous-Valued Attributes.	ECML	1993	DBLP DOI BibTeX RDF
20	Hantao Zhang 0001, Xin Hua	Proving the Chinese Remainder Theorem by the Cover Set Induction.	CADE	1992	DBLP DOI BibTeX RDF
20	Mo-Yuen Chow, Sui Oi Yee	Real Time Application of Artificial Neural Network for Incipient Fault Detection of Induction Machines.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
20	Finn Verner Jensen, Kim Guldstrand Larsen	Recursively Defined Domains and Their Induction Principles.	FSTTCS	1985	DBLP DOI BibTeX RDF
20	Joseph A. Goguen	How to Prove Algebraic Inductive Hypotheses Without Induction.	CADE	1980	DBLP DOI BibTeX RDF
18	David Ginat	Impasse, Conflict, and Learning of CS Notions.	ISSEP	2010	DBLP DOI BibTeX RDF	Impasse, Recursion, Induction, Conflict, Rigor
18	Minghao Piao, Jong Bum Lee, Khalid E. K. Saeed, Keun Ho Ryu	Discovery of Significant Classification Rules from Incrementally Inducted Decision Tree Ensemble for Diagnosis of Disease.	ADMA	2009	DBLP DOI BibTeX RDF	Incremental tree induction, Cascading and Sharing, Ensemble method, Classification rules
18	Gary M. Weiss, Ye Tian	Maximizing classifier utility when there are data acquisition and modeling costs.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Data mining, Machine learning, Decision trees, Active learning, Induction, Cost-sensitive learning, Utility-based data mining
18	Norman Foo, Boon Toh Low	A Note on Prototypes, Convexity and Fuzzy Sets.	Stud Logica	2008	DBLP DOI BibTeX RDF	ontology, prototypes, fuzzy sets, induction, convexity
18	Jan D. Gehrke, Janusz Wojtusiak	Traffic Prediction for Agent Route Planning.	ICCS (3)	2008	DBLP DOI BibTeX RDF	Natural Induction, Intelligent Agents, Traffic Prediction
18	Saverio Cristina, Mauro Parise	Closed-Form Expression of the SAR Distribution in a Multilayered Planar Model for Shortwave Inductive Diathermy.	BMEI (2)	2008	DBLP DOI BibTeX RDF	Diathermy, Induction coils, SAR
18	Yang Liu 0050, Boqin Feng, Guohua Bai	Compact Rule Learner on Weighted Fuzzy Approximation Spaces for Class Imbalanced and Hybrid Data.	RSCTC	2008	DBLP DOI BibTeX RDF	weighted rough set, hybrid attributes, class imbalanced data sets, Rule induction, fuzzy rough set
18	Davide Sottara, Paola Mello	Modelling Radial Basis Functions with Rational Logic Rules.	HAIS	2008	DBLP DOI BibTeX RDF	Fuzzy Logic, Radial Basis Function, Induction
18	Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager	A testing scenario for probabilistic processes.	J. ACM	2007	DBLP DOI BibTeX RDF	CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory
18	Morteza Moniri	Preservation theorems for bounded formulas.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Polynomial induction, Model completeness, Universal theory, Quantifier elimination, Intuitionistic logic, NP, Bounded arithmetic, Polynomial hierarchy, Kripke model
18	Nicholas Holden, Alex Alves Freitas	A hybrid PSO/ACO algorithm for classification.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	data mining, classification, particle swarm optimization, rule induction, ant colony optimisation