Search results for "induction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	David B. Pettigrew, Paul Smolen, Douglas A. Baxter, John H. Byrne	Dynamic Properties of Regulatory Motifs Associated with Induction of Three Temporal Domains of Memory in Aplysia.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	PKA, Ap-uch, CREB, LTF, Aplysia, LTM, sensitization
26	Dae Jong Lee, Jang-Hwan Park, Dong Hwa Kim, Myung-Geun Chun	Fault Diagnosis of Induction Motor Using Linear Discriminant Analysis.	KES (4)	2005	DBLP DOI BibTeX RDF
26	Dong Hwa Kim, Jin Ill Park	Loss Minimization Control of Induction Motor Using GA-PSO.	KES (2)	2005	DBLP DOI BibTeX RDF
26	Hua Su, Kil To Chong 0001, Alexander G. Parlos	A Neural Network Method for Induction Machine Fault Detection with Vibration Signal.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
26	Hong-Zhen Zheng, Dian-Hui Chu, De-chen Zhan	Rule Induction for Complete Information Systems in Knowledge Acquisition and Classification.	ICMLC	2005	DBLP DOI BibTeX RDF
26	Donato Malerba, Floriana Esposito, Michelangelo Ceci, Annalisa Appice	Top-Down Induction of Model Trees with Regression and Splitting Nodes.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	global and local effects, regression and splitting nodes, SMOTI, linear regression, Inductive learning, model trees
26	Mike Reed	Order, Topology, and Recursion Induction in CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
26	Katsumi Inoue, Haruka Saito	Circumscription Policies for Induction.	ILP	2004	DBLP DOI BibTeX RDF
26	Wolfgang Spohn	Enumerative induction.	TARK	2003	DBLP DOI BibTeX RDF
26	Per Lidén, Lars Asker, Henrik Boström	Rule Induction for Classification of Gene Expression Array Data.	PKDD	2002	DBLP DOI BibTeX RDF
26	Shusaku Tsumoto	Accuracy and Coverage in Rough Set Rule Induction.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
26	Herman Geuvers	Induction Is Not Derivable in Second Order Dependent Type Theory.	TLCA	2001	DBLP DOI BibTeX RDF
26	Christine Röckl, Daniel Hirschkoff, Stefan Berghofer	Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.	FoSSaCS	2001	DBLP DOI BibTeX RDF
26	Donato Malerba, Annalisa Appice, Antonia Bellino, Michelangelo Ceci, Domenico Pallotta	Stepwise Induction of Model Trees.	AI*IA	2001	DBLP DOI BibTeX RDF
26	Aijun An, Nick Cercone	Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach.	ISMIS	2000	DBLP DOI BibTeX RDF
26	Pieter W. Adriaans, Marten Trautwein, Marco Vervoort	Towards High Speed Grammar Induction on Large Text Corpora.	SOFSEM	2000	DBLP DOI BibTeX RDF
26	Nobuhiro Inuzuka, Taichi Onda, Hidenori Itoh	Learning Robot Control by Relational Concept Induction with Iteratively Controlled Examples.	EWLR	1999	DBLP DOI BibTeX RDF	collection method of examples, inaccurate teachers, ILP, robot learning
26	Xindong Wu 0001	Induction as Pre-processing.	PAKDD	1999	DBLP DOI BibTeX RDF
26	Michael Boronowsky	The Continuous-Function Attribute Class in Decision Tree Induction.	Discovery Science	1998	DBLP DOI BibTeX RDF
26	Ute Schmid, Fritz Wysotzki	Induction of Recursive Program Schemes.	ECML	1998	DBLP DOI BibTeX RDF	Inductive Program Synthesis, Planning and Learning, Cognitive Modelling, Analogy
26	Geoffrey I. Webb, Michael J. Pazzani	Adjusted Probability Naive Bayesian Induction.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
26	Julian Rathke	Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
26	Suzanne Lo, Fazel Famili	Development of a Knowledge-Driven Constructive Induction Mechanism.	IDA	1997	DBLP DOI BibTeX RDF
26	Eric Bloedorn, Ryszard S. Michalski	The AQ17-DCI System for Data-Driven Constructive Induction and its Application to the Analysis of World Economics.	ISMIS	1996	DBLP DOI BibTeX RDF
26	Joëlle Despeyroux, André Hirschowitz	Higher-Order Abstract Syntax with Induction in Coq.	LPAR	1994	DBLP DOI BibTeX RDF
26	Regimantas Pliuskevicius	Saturation Replaces Induction for a Miniscoped Linear Temporal Logic.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
26	Peter A. Whigham, Robert I. McKay, J. R. Davis	Machine Induction of Geospatial Knowledge.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
26	Dieter Hutter	Guiding Induction Proofs.	CADE	1990	DBLP DOI BibTeX RDF
26	Rolf Hennicker	Context Induction: a Proof Principle for Behavioural Abstractions.	DISCO	1990	DBLP DOI BibTeX RDF
26	Geoffrey I. Webb	Techniques for Efficient Empirical Induction.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF
24	Ambrus Kaposi, András Kovács, Ambroise Lafont	For Finitary Induction-Induction, Induction Is Enough.	TYPES	2019	DBLP DOI BibTeX RDF
24	Sven Wanser	Simulation des phénomènes de chauffage par induction. Application à la trempe superficielle. (Simulation of induction heating phenomena. Application to induction hardening problems).		1995	RDF
24	David Freeman	Creating emotion in games: the craft and art of EmotioneeringTM.	Comput. Entertain.	2004	DBLP DOI BibTeX RDF	Emotioneering, PS2, Xbox, console games, emotion in games, role induction, screenwriting, world induction, games, motivation, video games, dialogue, play, relationships, characters, layers, plot
24	Deepayan Chakrabarti, Rupesh R. Mehta	The paths more taken: matching DOM trees to search logs for accurate webpage clustering.	WWW	2010	DBLP DOI BibTeX RDF	clustering, wrapper induction, search logs
24	Raúl Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
24	Sandrine Fischer, Makoto Itoh, Toshiyuki Inagaki	A cognitive schema approach to diagnose intuitiveness: an application to onboard computers.	AutomotiveUI	2009	DBLP DOI BibTeX RDF	intuitive use, schema induction, human computer interaction, cognitive modeling, design evaluation
24	Rong-Lei Sun	Conflict-Free Incremental Learning.	ICIC (2)	2009	DBLP DOI BibTeX RDF	Incremental induction, Machine learning, Artificial intelligence, Boolean algebra
24	Christian Monson, Jaime G. Carbonell, Alon Lavie, Lori S. Levin	ParaMor and Morpho Challenge 2008.	CLEF	2008	DBLP DOI BibTeX RDF	Natural language morphology, morphology induction, Unsupervised learning
24	Gillat Kol, Moni Naor	Games for exchanging information.	STOC	2008	DBLP DOI BibTeX RDF	backward induction, cryptography, game theory, nash equilibrium, secret sharing, multiparty computation
24	Khairul A. Rasmani, Qiang Shen 0001	Data-driven fuzzy rule generation and its application for student academic performance evaluation.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Data-driven learning, Fuzzy rule induction, Student performance evaluation
24	Simon C. K. Shiu, James N. K. Liu, Jennie L. C. Lam, Bo Feng	A Data Mining Approach for Branch and ATM Site Evaluation.	Selected Papers from AusDM	2006	DBLP DOI BibTeX RDF	branch and site evaluation, rule induction, Datamining, model analysis
24	Julia S. Trushkina	Development of a Multilingual Parallel Corpus and a Part-of-Speech Tagger for Afrikaans.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	induction of linguistic tools, South African languages, Afrikaans, Natural Language Processing, Part-of-Speech tagging, Parallel corpora
24	Jianwen Fang, Jerzy W. Grzymala-Busse	Mining of MicroRNA Expression Data - A Rough Set Approach.	RSKT	2006	DBLP DOI BibTeX RDF	MicroRNA, LERS data mining system, MLEM2 rule induction algorithm, LERS classification system, cumulative rule sets, rule generations
24	Christian Urban, Christine Tasson	Nominal Techniques in Isabelle/HOL.	CADE	2005	DBLP DOI BibTeX RDF	theorem-assistants, Lambda-calculus, nominal logic, structural induction
24	Qingdong Wang, Huaping Dai, Youxian Sun	Develop Multi-hierarchy Classification Model: Rough Set Based Feature Decomposition Method.	ICAPR (1)	2005	DBLP DOI BibTeX RDF	feature decomposition, classification, Rough set, rule induction, concept hierarchy
24	Xuhua Li	Largest E-thin, E-invariant sets below bigtriangleup1 3.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Definable equivalence relation, Thin 11 set, Invariant set, Effective induction
24	Joseph B. Kadane, Pantelis K. Vlachos	Hybrid methods for calculating optimal few-stage sequential strategies: Data monitoring for a clinical trial.	Stat. Comput.	2002	DBLP DOI BibTeX RDF	backward induction, expected loss, Bayesian sequential analysis, indifference zone, forward algorithm
24	Raymond McDowell, Dale Miller 0001	Reasoning with higher-order abstract syntax in a logical framework.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	induction, Definitions, logical frameworks, higher-order abstract syntax
24	Helen M. Meng, Kai-Chung Siu	Semiautomatic Acquisition of Semantic Structures for Understanding Domain-Specific Natural Language Queries.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	knowledge acquisition, natural language understanding, grammar induction, concepts extraction, semantic processing
24	Qiang Ding, Qin Ding 0001, William Perrizo	Decision tree classification of spatial data streams using Peano Count Trees.	SAC	2002	DBLP DOI BibTeX RDF	data mining, classification, data streams, spatial data, decision tree induction
24	Sorin Craciunescu	Proving the Equivalence of CLP Programs.	ICLP	2002	DBLP DOI BibTeX RDF	CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence
24	Furio Honsell, Marino Miculan, Ivan Scagnetto	An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.	ICALP	2001	DBLP DOI BibTeX RDF	induction, logical frameworks, higher-order abstract syntax
24	José Hernández-Orallo, M. José Ramírez-Quintana	A Strong Complete Schmema for Inductive Functional Logic Programming.	ILP	1999	DBLP DOI BibTeX RDF	Function Invention, Induction of Auxiliary Functions, Inverse Narrowing, Inductive Logic Programming, Narrowing, Functional Logic Programming
24	A. P. Sakis Meliopoulos, Murad A. Asad, George J. Cokkinides	Issues for Reactive Power and Voltage Control Pricing in a Deregulated Environment.	HICSS	1999	DBLP DOI BibTeX RDF	Reactive Power, Induction Motor Loads, Voltage Support, Reactive Power Pricing
24	Sandrine Blazy, Philippe Facon	Formal Specification and Prototyping of a Program Specializer.	TAPSOFT	1995	DBLP DOI BibTeX RDF	software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur
24	Xudong He	A method for analyzing properties of hierarchical predicate transition nets.	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
24	Chunying Zhao, Keven Ates, Jun Kong, Kang Zhang 0001	Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
24	David Baelde, Dale Miller 0001	Least and Greatest Fixed Points in Linear Logic.	LPAR	2007	DBLP DOI BibTeX RDF
24	Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima	Inducing Causal Laws by Regular Inference.	ILP	2005	DBLP DOI BibTeX RDF
24	Karuturi R. Krishna Murthy, Vinsensius B. Vega	Friendly Neighbors Method for Unsupervised Determination of Gene Significance in Time-course Microarray Data.	BIBE	2004	DBLP DOI BibTeX RDF
24	Honghua Dai 0001, Gang Li 0009, Zhi-Hua Zhou	Ensembling MML Causal Discovery.	PAKDD	2004	DBLP DOI BibTeX RDF
24	Ramón P. Otero	Embracing Causality in Inducing the Effects of Actions.	CAEPIA	2003	DBLP DOI BibTeX RDF
24	Alberto Momigliano, Simon Ambler	Multi-level Meta-reasoning with Higher-Order Abstract Syntax.	FoSSaCS	2003	DBLP DOI BibTeX RDF
24	Christoph Sprenger 0001, Mads Dam	On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus.	FoSSaCS	2003	DBLP DOI BibTeX RDF
24	Jens Schönherr, Bernd Straube	Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.	DATE	2000	DBLP DOI BibTeX RDF
24	Peter A. Flach	From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
24	M. M. Richardson, James R. Warren	Induced decision trees for case-based reasoning.	ANZIIS	1996	DBLP DOI BibTeX RDF
20	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
20	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
20	Bao Ai, Yong-le Ai, Lian-bo Niu	Research on Electromagnetism Torque of the Six-Phase Induction Machine with Special Phase Current Waveform.	IFITA (3)	2009	DBLP DOI BibTeX RDF	six-phase induction machine, Trapezoidal wave phase current, Electromagnetism torque, Finite Element
20	Eduardo Cabal-Yepez, Roque Alfredo Osornio-Rios, René de Jesús Romero-Troncoso, J. R. Razo-Hernandez, R. Lopez-Garcia	FPGA-Based Online Induction Motor Multiple-Fault Detection with Fused FFT and Wavelet Analysis.	ReConFig	2009	DBLP DOI BibTeX RDF	Wavelet, FFT, Vibration, Induction motor, Multiple-fault detection, Current
20	Yuedou Pan, Yihai Zhang	Research on Direct Torque Control of Induction Motor Based on Dual-Fuzzy Space Vector Modulation Technology.	FSKD (6)	2009	DBLP DOI BibTeX RDF	space vector modulation, fuzzy control, induction motor, direct torque control
20	Xiuyi Jia, Lin Shang 0001, Jiajun Chen 0001, Xinyu Dai	An Incremental Rule Induction Algorithm Based on Ordering Relations.	RSKT	2009	DBLP DOI BibTeX RDF	Incremental rule induction, INRIDDM, dominance-based rough set approach
20	Ivan Chorbev, Dragan Mihajlov, Ilija Jolevski	Web Based Medical Expert System with a Self Training Heuristic Rule Induction Algorithm.	DBKDA	2009	DBLP DOI BibTeX RDF	SA Tabu Miner, data mining, Simulated Annealing, Tabu Search, rule induction, medical expert system
20	Cornelia Wendt, Michael Popp, Berthold Färber	Emotion induction during human-robot interaction.	HRI	2009	DBLP DOI BibTeX RDF	joint construction, stress induction, human-robot interaction, emotion recognition
20	Xuezhi Hu, Guangqun Nan	Research on DTC of Induction Motor Based on TMS320F2812.	PACIIA (2)	2008	DBLP DOI BibTeX RDF	TMS320F2812, Induction Motor, direct torque control
20	Jinhwa Kim, Chaehwan Won, Hyeonsu Byeon	A Genetic Multi-Agent Rule Induction System for Stream Data.	NCM (2)	2008	DBLP DOI BibTeX RDF	stream data sets, genetic algorithm, rule induction, data mining algorithms
20	Rong-Lei Sun	Study on the Non-expandability of DNF and Its Application to Incremental Induction.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	Incremental induction, Machine learning, Artificial intelligence, Boolean algebra
20	Sardis Azongha, Hui Li	Modeling and simulation of the dynamic control of a cascaded multilevel inverter using single DC source for induction motor drive application.	SCSC	2007	DBLP BibTeX RDF	dynamic modulation control, multilevel inverter, induction motor
20	Antonello D'Aguanno, Giancarlo Vercellesi	Tempo induction algorithm in MP3 compressed domain.	Multimedia Information Retrieval	2007	DBLP DOI BibTeX RDF	WSP, tempo induction, MP3
20	Mümtaz Mutluer, Osman Bilgin, Mehmet Çunkas	Parameter Determination of Induction Machines by Hybrid Genetic Algorithms.	KES (1)	2007	DBLP DOI BibTeX RDF	Induction machine, parameter determination, hybrid genetic algorithm
20	Helena de Medeiros Caseli, Maria das Graças Volpe Nunes, Mikel L. Forcada	Automatic induction of bilingual resources from aligned parallel corpora: application to shallow-transfer machine translation.	Mach. Transl.	2006	DBLP DOI BibTeX RDF	Automatic induction, Transfer rule, Shallow transfer, Machine translation, Bilingual dictionary
20	Adel Bouhoula	Sufficient Completeness and Parameterized Proofs by Induction.	ALP	1994	DBLP DOI BibTeX RDF	Implicit induction, Parameterized Conditional Specifications, Theorem Proving, Term rewriting systems, Sufficient completeness
20	Xiao-Jia M. Zhou, Tharam S. Dillon	A Statistical-Heuristic Feature Selection Criterion for Decision Tree Induction.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	statistical-heuristic feature selection criterion, multibranching decision trees, built-in statistical test, proportional-reduction-in-error, cost-of-complexity heuristic, middle-cut preference, tau criterion, prepruning, dynamic error estimation, pattern recognition, pattern recognition, robustness, statistics, trees (mathematics), decision theory, Bayes methods, Bayesian classifier, decision tree induction
20	Peter Clark, Robin Boswell	Rule Induction with CN2: Some Recent Improvements.	EWSL	1991	DBLP DOI BibTeX RDF	CN2, Laplace, learning, noise, rule induction
20	Andre B. de Carvalho, Aurora T. R. 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
20	Rodrigo C. Barros, Márcio P. Basgalupp, Duncan D. Ruiz, André Carlos Ponce de 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
20	Krzysztof Walkowiak, Michal Wozniak 0001	Modeling of Network Computing Systems for Decision Tree Induction Tasks.	IDEAL	2009	DBLP DOI BibTeX RDF	Parallel Decision Tree, Optimization, Modeling, Machine Learning, Grids, Network Computing
20	Carl Eastlund, Matthias Felleisen	Making induction manifest in modular ACL2.	PPDP	2009	DBLP DOI BibTeX RDF	theorem provers, acl2, module systems
20	Hui Yang 0001, Jamie Callan	Feature selection for automatic taxonomy induction.	SIGIR	2009	DBLP DOI BibTeX RDF	taxonomy, ontology learning, semantic features
20	Jerzy W. Grzymala-Busse	MLEM2 Rule Induction Algorithms: With and Without Merging Intervals.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
20	Jose de Jesus Rangel-Magdaleno, René de Jesús Romero-Troncoso, Luis Miguel Contreras-Medina, Arturo Garcia-Perez	FPGA implementation of a novel algorithm for on-line bar breakage detection on induction motors.	FPGA	2008	DBLP DOI BibTeX RDF	bar breakage, FPGA, embedded systems
20	Frederic T. Stahl, Max A. Bramer, Mo Adda	P-Prism: A Computationally Efficient Approach to Scaling up Classification Rule Induction.	IFIP AI	2008	DBLP DOI BibTeX RDF
20	Simon Bernard 0001, Laurent Heutte, Sébastien Adam	Forest-RK: A New Random Forest Induction Method.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Classification, Decision Trees, Bagging, Classifier Combination, Classifier Ensemble, Random Forests
20	Adel Bouhoula, Florent Jacquemard	Automated Induction with Constrained Tree Automata.	IJCAR	2008	DBLP DOI BibTeX RDF
20	Jun Kong, Kevin L. Ates, Kang Zhang 0001, Yan Gu 0004	Adaptive Mobile Interfaces through Grammar Induction.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
20	Sérgio Pinheiro dos Santos, José Alfredo F. Costa	Application of multiple decision trees for condition monitoring in induction motors.	IJCNN	2008	DBLP DOI BibTeX RDF
20	Marek Kretowski	A Memetic Algorithm for Global Induction of Decision Trees.	SOFSEM	2008	DBLP DOI BibTeX RDF
20	Haider A. F. Mohamed, Soo Siang Yang, Mahmoud Moghavvemi	Design and Real-Time Implementation of an Internal Model Speed Control for an Induction Motor.	RAM	2008	DBLP DOI BibTeX RDF
20	Ramiro Garza-Domínguez, Antonio Quiroz-Gutiérrez	Analysis of DNA-Dimer Distribution in Retroviral Genomes Using a Bayesian Networks Induction Technique Based on Genetic Algorithms.	MICAI	2007	DBLP DOI BibTeX RDF	Retroviral Genomes, DNA-dimer, Bayesian Networks, Bioinformatics, Fuzzy Sets