The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase co-induction (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1939-1972 (21) 1973-1976 (15) 1977-1978 (19) 1979-1980 (20) 1981-1983 (17) 1984-1985 (21) 1986 (24) 1987 (32) 1988 (37) 1989 (54) 1990 (45) 1991 (88) 1992 (65) 1993 (94) 1994 (109) 1995 (116) 1996 (116) 1997 (128) 1998 (127) 1999 (200) 2000 (225) 2001 (230) 2002 (255) 2003 (269) 2004 (327) 2005 (337) 2006 (369) 2007 (418) 2008 (425) 2009 (379) 2010 (360) 2011 (328) 2012 (381) 2013 (484) 2014 (405) 2015 (437) 2016 (378) 2017 (459) 2018 (465) 2019 (508) 2020 (478) 2021 (456) 2022 (425) 2023 (379) 2024 (98)
Publication types (Num. hits)
article(4390) book(13) data(6) incollection(116) inproceedings(5953) phdthesis(144) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2193 occurrences of 1163 keywords

Results
Found 10623 publication records. Showing 10623 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
79Marc Denecker, Eugenia Ternovska A logic of nonmonotone inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, classical logic, Inductive definitions
75Irene Polycarpou, Ana Pasztor, Malek Adjouadi A conceptual approach to teaching induction for computer science. Search on Bibsonomy SIGCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF induction principle, inductive sets, logic for computer science, undergraduate computer science curricula, computer science education, proofs by induction
73Marc Denecker, Eugenia Ternovska A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
69Irene Polycarpou Induction as a tool for conceptual coherence in computer science. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF undergraduate computer science curricula, computer science education, structural induction, proofs by induction
69Irene Polycarpou Computer science students' difficulties with proofs by induction: an exploratory study. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction
69Michael Beeson Mathematical Induction in Otter-Lambda. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computer proofs, second-order, Otter, mathematical induction, unification, automated deduction
63Tadashi Kanamori, Hiroshi Fujita Formulation of Induction Formulas in Verification of Prolog Programs. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Prolog, Program Transformation, Program Verification, Induction
63Ola Olsson, Angela Wallenburg Customised Induction Rules for Proving Correctness of Imperative Programs. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Martin Protzen Lazy Generation of Induction Hypotheses. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
57Deepak Kapur, Paliath Narendran, Hantao Zhang 0001 Proof by Induction Using Test Sets. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Inductionless Induction, Knuth-Bendix Completion Procedure, Consistency, Induction, Equational Theory, Sufficient-Completeness, Proof by Induction
57Chiaki Sakama, Katsumi Inoue Brave Induction. Search on Bibsonomy ILP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Sorin Stratulat Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Eric Deplagne, Claude Kirchner Deduction versus Computation: The Case of Induction. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
57Deepak Kapur, Mahadevan Subramaniam Using Linear Arithmetic Procedure for Generating Induction Schemes. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
51Matthias Baaz, Georg Moser Herbrand's theorem and term induction. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Term induction, Successor Induction, Herbrand's theorem, Generalisation of Proofs
51Silvian Calman, Jianwen Zhu Interprocedural induction variable analysis based on interprocedural SSA form IR. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF induction variable analysis, interprocedural ssa, ssa
51Louis E. Loeb Psychology, epistemology, and skepticism in Hume's argument about induction. Search on Bibsonomy Synth. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Garrett, Reason, Induction, Internalism, Externalism, Hume
51Fabien Gouyon, Anssi Klapuri, Simon Dixon, M. Alonso, George Tzanetakis, C. Uhle, Pedro Cano An experimental comparison of audio tempo induction algorithms. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Ramón P. Otero Induction of the Effects of Actions by Monotonic Methods. Search on Bibsonomy ILP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
51Michael Wolfe Beyond Induction Variables. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
49Luke Akong'o Orawo, J. Andrés Christen Bayesian sequential analysis for multiple-arm clinical trials. Search on Bibsonomy Stat. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Backward Induction, One-arm look-ahead approximation, Clinical trials, Expected Utility, Stopping rule
47Iraj Kalantari Induction over the Continuum. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001 Deduction, Induction, and beyond in Parametric Logic. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Norma B. Goethe Two Ways of Thinking about Induction. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Gisele L. Pappa, Alex Alves Freitas Evolving rule induction algorithms with multi-objective grammar-based genetic programming. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Grammar-based genetic programming, Rule induction algorithms, Data mining, Classification, Pareto optimization
45Huaxiong Li, Yiyu Yao, Xianzhong Zhou, Bing Huang Two-Phase Rule Induction from Incomplete Data. Search on Bibsonomy RSKT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Missing attribute values, Filled-in values, Two-phase rule induction
45Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi Induction-Guided Falsification. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
45Leila Shila Shafti, Eduardo Pérez Constructive induction and genetic algorithms for learning concepts with complex interaction. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF shared attributes, genetic algorithms, feature selection, feature construction, constructive induction, attribute interaction
45Jérôme Callut, Pierre Dupont A Markovian Approach to the Induction of Regular String Distributions. Search on Bibsonomy ICGI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF HMM topology induction, Partially observable Markovmodel, Mean first passage time, Lumped Markov process, State splitting algorithm
45Bulai Wang, Zhesong Gong, Wei Gu 0001, Jianxin Zhu, Yi Guo Modeling for A Dual Three-Phase Induction Motor Based On A Winding Transformation. Search on Bibsonomy RAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Norio Yamashita, Akio Yamamoto, Masahiko Gondo, Toshiro Higuchi Evaluation of an Electrostatic Film Motor Driven by Two-Four-Phase AC Voltage and Electrostatic Induction. Search on Bibsonomy ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Takahito Aoto 0001 Dealing with Non-orientable Equations in Rewriting Induction. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Gisele L. Pappa, Alex Alves Freitas Automatically Evolving Rule Induction Algorithms. Search on Bibsonomy ECML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Claus-Peter Wirth History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Adel Bouhoula General Framework for Mechanizing Induction using Test Set. Search on Bibsonomy PRICAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Logic and Formal Verification, Theorem Proving, Automated reasoning
45Deepak Kapur, Mahadevan Subramaniam Lemma Discovery in Automated Induction. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45François Bronsard, Uday S. Reddy, Robert W. Hasker Induction using Term Orderings. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45Christoph Walther Computing Induction Axioms. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
41Alberto Momigliano, Alwen Fernanto Tiu Induction and Co-induction in Sequent Calculus. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Márcio P. Basgalupp, Rodrigo C. Barros, André Carlos Ponce de Leon Ferreira de Carvalho, Alex Alves Freitas, Duncan D. Ruiz LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lexicographic multi-objective genetic algorithms, data mining, evolutionary algorithms, decision tree induction
39Zohreh HajAbedi, Mohammad Reza Kangavari A Fuzzy-GA Wrapper-Based Constructive Induction Model. Search on Bibsonomy ICIC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Feature selection, Fuzzy, GA, Feature construction, Constructive induction
39Qianjin Guo, Xiaoli Li 0011, Haibin Yu, Wei Hu, Jingtao Hu Broken Rotor Bars Fault Detection in Induction Motors Using Park's Vector Modulus and FWNN Approach. Search on Bibsonomy ISNN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Park’s Vector Modulus, FWNN, Fault Detection, Induction Motors
39Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue Towards a Logical Reconstruction of CF-Induction. Search on Bibsonomy JSAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF inverse entailment, CF-induction, generalisation operator
39Omar Juárez Gambino, Hiram Calvo On the Usage of Morphological Tags for Grammar Induction. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Syntactic Tagging, Morphological Tags, ABL, Grammar Induction
39Lemuel R. Waitman, Douglas H. Fisher, Paul H. King Bootstrapping rule induction to achieve rule stability and reduction. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Perioperative medicine, Rule similarity, Rule visualization, Rule abstraction, Algorithm stability, Bootstrapping, Multidimensional scaling, Rule induction, Decision rules
39Yixin Shou, Robert A. van Engelen, Johnnie Birch, Kyle A. Gallivan Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF loop parallelization, recurrences, induction variables, compiler algorithms
39Katsumi Inoue Induction as Consequence Finding. Search on Bibsonomy Mach. Learn. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF consequence finding, inverse entailment, induction, abduction
39Jianchao Han, Aijun An, Nick Cercone CViz: An Interactive Visualization System for Rule Induction. Search on Bibsonomy AI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF machine learning, knowledge discovery, interactive visualization, rule induction
39Xindong Wu 0001, David Urpani Induction By Attribute Elimination. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Data mining, rule induction, information entropy, attribute selection
39Michael P. Gerlek, Eric Stoltz, Michael Wolfe Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable
39Nitin Indurkhya, Sholom M. Weiss Iterative rule induction methods. Search on Bibsonomy Appl. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF induction techniques, Machine learning, rule-based systems
39Jeffrey Sarnat, Carsten Schürmann 0001 Lexicographic Path Induction. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Saqib Mir, Steffen Staab, Isabel Rojas Site-Wide Wrapper Induction for Life Science Deep Web Databases. Search on Bibsonomy DILS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Database, Information Extraction, Deep Web, Wrapper Generation
39Zhiheng Huang, Tamás D. Gedeon, Masoud Nikravesh Pattern Trees Induction: A New Machine Learning Method. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Gisele L. Pappa, Alex Alves Freitas Discovering New Rule Induction Algorithms with Grammar-based Genetic Programming. Search on Bibsonomy Soft Computing for Knowledge Discovery and Data Mining The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Makarius Wenzel Structured Induction Proofs in Isabelle/Isar. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Ramón P. Otero Induction of the Indirect Effects of Actions by Monotonic Methods. Search on Bibsonomy ILP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Carsten Schürmann A Type-Theoretic Approach to Induction with Higher-Order Encodings. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Deepak Kapur, Mahadevan Subramaniam Extending Decision Procedures with Induction Schemes. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39David A. Duffy, Jürgen Giesl Closure Induction in a Z-Like Language. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Dieter Hutter Synthesis of Induction Orderings for Existence Proofs. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39Claudio Hermida, Bart Jacobs 0001 An Algebraic View of Structural Induction. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39Hantao Zhang 0001, Deepak Kapur, Mukkai S. Krishnamoorthy A Mechanizable Induction Principle for Equational Specifications. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
39Gérard P. Huet Induction Principles Formalized in the Calculus of Constructions. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Simon Siegler, Nathan Wasser (eds.) Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Christoph Benzmüller Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners). Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl Termination Graphs for Java Bytecode. Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Brigitte Pientka Programming Inductive Proofs - A New Approach Based on Contextual Types. Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Moa Johansson, Lucas Dixon, Alan Bundy Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine The VATES-Diamond as a Verifier's Best Friend. Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Markus Aderhold Second-Order Programs with Preconditions. Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Serge Autexier, Dieter Hutter, Till Mossakowski Change Management for Heterogeneous Development Graphs. Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel Specifying and Verifying Organizational Security Properties in First-Order Logic. Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Oliver Schulte Logically Reliable Inductive Inference. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Kevin T. Kelly How Simplicity Helps You Find the Truth without Pointing at it. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Clark Glymour Trade-Offs. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Kevin T. Kelly How to Do Things with an Infinite Regress. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Michèle Friend Some Philosophical Concerns about the Confidence in 'Confident Learning'. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Valentina S. Harizanov, Norma B. Goethe, Michèle Friend Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Brendan Larvor Between History and Logic. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Valentina S. Harizanov Inductive Inference Systems for Learning Classes of Algorithmically Generated Sets and Structures. Search on Bibsonomy Induction, Algorithmic Learning Theory, and Philosophy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Naijun Zhan Another formal proof for Deadline Driven Scheduler. Search on Bibsonomy RTCSA The full citation details ... 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
37Trong Dung Nguyen, Tu Bao Ho, Hiroshi Shimodaira A visualization tool for interactive learning of large decision trees. Search on Bibsonomy ICTAI The full citation details ... 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
37Aurora T. R. Pozo, Mozart Hasse A Genetic Classifier Tool. Search on Bibsonomy SCCC The full citation details ... 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
37Jiming Liu 0001, Michel C. Desmarais A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
37Amy P. Felty, Alberto Momigliano Reasoning with hypothetical judgments and open terms in hybrid. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
37Willem C. Mallon, Jan Tijmen Udding Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
35Gonzalo Ramos-Jiménez, José del Campo-Ávila, Rafael Morales Bueno Induction of Decision Trees Using an Internal Control of Induction. Search on Bibsonomy IWANN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Zhongmin Shi, Evangelos E. Milios, Nur Zincir-Heywood Post-Supervised Template Induction for Information Extraction from Lists and Tables in Dynamic Web Sources. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF template induction, information extraction, unsupervised learning, grammar induction
33Brian R. Gaines, Paul Compton Induction of Meta-knowledge about Knowledge Discovery. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
33Özden Gür-Ali, William A. Wallace Induction of Rules Subject to a Quality Constraint: Probabilistic Inductive Learning. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
33Padhraic Smyth, Rodney M. Goodman An Information Theoretic Approach to Rule Induction from Databases. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
33Miroslav Kubat, Kanoksri Sarinnapakorn, Sareewan Dendamrongvit Induction in Multi-Label Text Classification Domains. Search on Bibsonomy Advances in Machine Learning II The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Classifier induction, multi-label examples, text classification, information fusion, Dempster-Shafer theory
33Rinaldo Lima, Bernard Espinasse, Frederico Luiz Gonçalves de Freitas An adaptive information extraction system based on wrapper induction with POS tagging. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF machine learning, information extraction, boosting, supervised classification, wrapper induction, POS tagging
33Yinhai Zhang, Jinfa Ge, Weixia Liu, Qin Wang An Experimental Research on Vector Control of Induction Motor Based on Simple Model. Search on Bibsonomy AICI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF vector control, rotor flux, decoupler, induction motor
33Sérgio Pinheiro dos Santos, José Alfredo F. Costa A Comparison between Hybrid and Non-hybrid Classifiers in Diagnosis of Induction Motor Faults. Search on Bibsonomy CSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Machine learning, Faults detection, Induction motors, Multi-classifiers systems
33Dinko 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. Search on Bibsonomy KES (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF indirect field-oriented control, neural network, adaptive control, induction motor
33Sheng Yang, V. Ajjarapu Web-based speed control of induction motor with inverter dead-time compensation. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF dead-time compensation, induction motor drives, web-based control, rapid prototyping, model-based design
33Xin Wang, Xianzhong Dai The ANN Inverse Control of Induction Motor with Robust Flux Observer Based on ESO. Search on Bibsonomy ISNN (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF neural network inverse, extended state observer, linearize and decouple, simulation, robust, induction motor
33Andrew M. Pitts Alpha-structural recursion and induction. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF recursion, induction, names, Abstract syntax, binders
Displaying result #1 - #100 of 10623 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license