|
|
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 |
79 | Marc Denecker, Eugenia Ternovska |
A logic of nonmonotone inductive definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(2), pp. 14:1-14:52, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logic programming, classical logic, Inductive definitions |
75 | Irene Polycarpou, Ana Pasztor, Malek Adjouadi |
A conceptual approach to teaching induction for computer science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008, pp. 9-13, 2008, ACM, 978-1-59593-799-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
induction principle, inductive sets, logic for computer science, undergraduate computer science curricula, computer science education, proofs by induction |
73 | Marc Denecker, Eugenia Ternovska |
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, pp. 47-60, 2004, Springer, 3-540-20721-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Irene Polycarpou |
Induction as a tool for conceptual coherence in computer science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 440-445, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
undergraduate computer science curricula, computer science education, structural induction, proofs by induction |
69 | Irene Polycarpou |
Computer science students' difficulties with proofs by induction: an exploratory study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 601-606, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction |
69 | Michael Beeson |
Mathematical Induction in Otter-Lambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(4), pp. 311-344, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer proofs, second-order, Otter, mathematical induction, unification, automated deduction |
63 | Tadashi Kanamori, Hiroshi Fujita |
Formulation of Induction Formulas in Verification of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings, pp. 281-299, 1986, Springer, 3-540-16780-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Prolog, Program Transformation, Program Verification, Induction |
63 | Ola Olsson, Angela Wallenburg |
Customised Induction Rules for Proving Correctness of Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 180-189, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Martin Protzen |
Lazy Generation of Induction Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 42-56, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
57 | Deepak Kapur, Paliath Narendran, Hantao Zhang 0001 |
Proof by Induction Using Test Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings, pp. 99-117, 1986, Springer, 3-540-16780-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Inductionless Induction, Knuth-Bendix Completion Procedure, Consistency, Induction, Equational Theory, Sufficient-Completeness, Proof by Induction |
57 | Chiaki Sakama, Katsumi Inoue |
Brave Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 18th International Conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008, Proceedings, pp. 261-278, 2008, Springer, 978-3-540-85927-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Sorin Stratulat |
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 351-365, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Eric Deplagne, Claude Kirchner |
Deduction versus Computation: The Case of Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 4-6, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Deepak Kapur, Mahadevan Subramaniam |
Using Linear Arithmetic Procedure for Generating Induction Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 438-449, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
51 | Matthias Baaz, Georg Moser |
Herbrand's theorem and term induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(4), pp. 447-503, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Term induction, Successor Induction, Herbrand's theorem, Generalisation of Proofs |
51 | Silvian Calman, Jianwen Zhu |
Interprocedural induction variable analysis based on interprocedural SSA form IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 37-44, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
induction variable analysis, interprocedural ssa, ssa |
51 | Louis E. Loeb |
Psychology, epistemology, and skepticism in Hume's argument about induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 152(3), pp. 321-338, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Garrett, Reason, Induction, Internalism, Externalism, Hume |
51 | Fabien Gouyon, Anssi Klapuri, Simon Dixon, M. Alonso, George Tzanetakis, C. Uhle, Pedro Cano |
An experimental comparison of audio tempo induction algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 14(5), pp. 1832-1844, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Ramón P. Otero |
Induction of the Effects of Actions by Monotonic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003, Proceedings, pp. 299-310, 2003, Springer, 3-540-20144-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Michael Wolfe |
Beyond Induction Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17-19, 1992, pp. 162-174, 1992, ACM, 0-89791-475-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
49 | Luke Akong'o Orawo, J. Andrés Christen |
Bayesian sequential analysis for multiple-arm clinical trials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(1), pp. 99-109, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Backward Induction, One-arm look-ahead approximation, Clinical trials, Expected Utility, Stopping rule |
47 | Iraj Kalantari |
Induction over the Continuum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 145-154, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001 |
Deduction, Induction, and beyond in Parametric Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 55-110, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Norma B. Goethe |
Two Ways of Thinking about Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 233-258, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Gisele L. Pappa, Alex Alves Freitas |
Evolving rule induction algorithms with multi-objective grammar-based genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 19(3), pp. 283-309, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Grammar-based genetic programming, Rule induction algorithms, Data mining, Classification, Pareto optimization |
45 | Huaxiong Li, Yiyu Yao, Xianzhong Zhou, Bing Huang |
Two-Phase Rule Induction from Incomplete Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 47-54, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Missing attribute values, Filled-in values, Two-phase rule induction |
45 | Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |
Induction-Guided Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 114-131, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ |
45 | Leila Shila Shafti, Eduardo Pérez |
Constructive induction and genetic algorithms for learning concepts with complex interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1811-1818, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
shared attributes, genetic algorithms, feature selection, feature construction, constructive induction, attribute interaction |
45 | Jérôme Callut, Pierre Dupont |
A Markovian Approach to the Induction of Regular String Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004, Proceedings, pp. 77-90, 2004, Springer, 3-540-23410-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
HMM topology induction, Partially observable Markovmodel, Mean first passage time, Lumped Markov process, State splitting algorithm |
45 | Bulai 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](Pics/bibsonomy.png) |
RAM ![In: 2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China, pp. 555-559, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Norio 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](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 1572-1577, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Takahito Aoto 0001 |
Dealing with Non-orientable Equations in Rewriting Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 242-256, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Gisele L. Pappa, Alex Alves Freitas |
Automatically Evolving Rule Induction Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2006, 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings, pp. 341-352, 2006, Springer, 3-540-45375-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Claus-Peter Wirth |
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 192-203, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Adel Bouhoula |
General Framework for Mechanizing Induction using Test Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 1-12, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Logic and Formal Verification, Theorem Proving, Automated reasoning |
45 | Deepak Kapur, Mahadevan Subramaniam |
Lemma Discovery in Automated Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 538-552, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
45 | François Bronsard, Uday S. Reddy, Robert W. Hasker |
Induction using Term Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 102-117, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
45 | Christoph Walther |
Computing Induction Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 381-392, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
41 | Alberto Momigliano, Alwen Fernanto Tiu |
Induction and Co-induction in Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, pp. 293-308, 2003, Springer, 3-540-22164-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Má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](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1085-1090, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
lexicographic multi-objective genetic algorithms, data mining, evolutionary algorithms, decision tree induction |
39 | Zohreh HajAbedi, Mohammad Reza Kangavari |
A Fuzzy-GA Wrapper-Based Constructive Induction Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009, Proceedings, pp. 440-449, 2009, Springer, 978-3-642-04019-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Feature selection, Fuzzy, GA, Feature construction, Constructive induction |
39 | Qianjin 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](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II, pp. 809-821, 2008, Springer, 978-3-540-87733-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Park’s Vector Modulus, FWNN, Fault Detection, Induction Motors |
39 | Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue |
Towards a Logical Reconstruction of CF-Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers, pp. 330-343, 2007, Springer, 978-3-540-78196-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
inverse entailment, CF-induction, generalisation operator |
39 | Omar Juárez Gambino, Hiram Calvo |
On the Usage of Morphological Tags for Grammar Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 912-921, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Syntactic Tagging, Morphological Tags, ABL, Grammar Induction |
39 | Lemuel R. Waitman, Douglas H. Fisher, Paul H. King |
Bootstrapping rule induction to achieve rule stability and reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 27(1), pp. 49-77, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Perioperative medicine, Rule similarity, Rule visualization, Rule abstraction, Algorithm stability, Bootstrapping, Multidimensional scaling, Rule induction, Decision rules |
39 | Yixin 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](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 1-6, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
loop parallelization, recurrences, induction variables, compiler algorithms |
39 | Katsumi Inoue |
Induction as Consequence Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 55(2), pp. 109-135, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
consequence finding, inverse entailment, induction, abduction |
39 | Jianchao Han, Aijun An, Nick Cercone |
CViz: An Interactive Visualization System for Rule Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings, pp. 214-226, 2000, Springer, 3-540-67557-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
machine learning, knowledge discovery, interactive visualization, rule induction |
39 | Xindong Wu 0001, David Urpani |
Induction By Attribute Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(5), pp. 805-812, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Data mining, rule induction, information entropy, attribute selection |
39 | Michael P. Gerlek, Eric Stoltz, Michael Wolfe |
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(1), pp. 85-122, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable |
39 | Nitin Indurkhya, Sholom M. Weiss |
Iterative rule induction methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 1(1), pp. 43-54, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
induction techniques, Machine learning, rule-based systems |
39 | Jeffrey Sarnat, Carsten Schürmann 0001 |
Lexicographic Path Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 279-293, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Saqib Mir, Steffen Staab, Isabel Rojas |
Site-Wide Wrapper Induction for Life Science Deep Web Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings, pp. 96-112, 2009, Springer, 978-3-642-02878-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Database, Information Extraction, Deep Web, Wrapper Generation |
39 | Zhiheng Huang, Tamás D. Gedeon, Masoud Nikravesh |
Pattern Trees Induction: A New Machine Learning Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(4), pp. 958-970, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Gisele L. Pappa, Alex Alves Freitas |
Discovering New Rule Induction Algorithms with Grammar-based Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing for Knowledge Discovery and Data Mining ![In: Soft Computing for Knowledge Discovery and Data Mining, pp. 133-152, 2008, Springer, 978-0-387-69934-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Makarius Wenzel |
Structured Induction Proofs in Isabelle/Isar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 17-30, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Ramón P. Otero |
Induction of the Indirect Effects of Actions by Monotonic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings, pp. 279-294, 2005, Springer, 3-540-28177-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Carsten Schürmann |
A Type-Theoretic Approach to Induction with Higher-Order Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 266-281, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Deepak Kapur, Mahadevan Subramaniam |
Extending Decision Procedures with Induction Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 324-345, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | David A. Duffy, Jürgen Giesl |
Closure Induction in a Z-Like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 471-490, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Dieter Hutter |
Synthesis of Induction Orderings for Existence Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 29-41, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
39 | Claudio Hermida, Bart Jacobs 0001 |
An Algebraic View of Structural Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 412-426, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
39 | Hantao Zhang 0001, Deepak Kapur, Mukkai S. Krishnamoorthy |
A Mechanizable Induction Principle for Equational Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 162-181, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Gérard P. Huet |
Induction Principles Formalized in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87), pp. 276-286, 1987, Springer, 3-540-17660-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
39 | Simon Siegler, Nathan Wasser (eds.) |
Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![Springer, 978-3-642-17171-0 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Christoph Benzmüller |
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 117-128, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl |
Termination Graphs for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 17-37, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Brigitte Pientka |
Programming Inductive Proofs - A New Approach Based on Contextual Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 1-16, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Moa Johansson, Lucas Dixon, Alan Bundy |
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 102-116, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine |
The VATES-Diamond as a Verifier's Best Friend. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 81-101, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Markus Aderhold |
Second-Order Programs with Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 129-143, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Serge Autexier, Dieter Hutter, Till Mossakowski |
Change Management for Heterogeneous Development Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 54-80, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel |
Specifying and Verifying Organizational Security Properties in First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 38-53, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Oliver Schulte |
Logically Reliable Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 157-178, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Kevin T. Kelly |
How Simplicity Helps You Find the Truth without Pointing at it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 111-143, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Clark Glymour |
Trade-Offs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 219-232, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Kevin T. Kelly |
How to Do Things with an Infinite Regress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 199-217, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Michèle Friend |
Some Philosophical Concerns about the Confidence in 'Confident Learning'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 179-197, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Valentina S. Harizanov, Norma B. Goethe, Michèle Friend |
Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 1-24, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Brendan Larvor |
Between History and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 259-278, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Valentina S. Harizanov |
Inductive Inference Systems for Learning Classes of Algorithmically Generated Sets and Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 27-54, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Naijun Zhan |
Another formal proof for Deadline Driven Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 481-485, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Trong Dung Nguyen, Tu Bao Ho, Hiroshi Shimodaira |
A visualization tool for interactive learning of large decision trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 28-35, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Aurora T. R. Pozo, Mozart Hasse |
A Genetic Classifier Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 14-23, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Jiming Liu 0001, Michel C. Desmarais |
A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(6), pp. 990-1004, 1997. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Amy P. Felty, Alberto Momigliano |
Reasoning with hypothetical judgments and open terms in hybrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 83-92, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving |
37 | Willem C. Mallon, Jan Tijmen Udding |
Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 7-10 April 1997, Eindhoven, The Netherlands, pp. 175-, 1997, IEEE Computer Society, 0-8186-7922-0. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Gonzalo Ramos-Jiménez, José del Campo-Ávila, Rafael Morales Bueno |
Induction of Decision Trees Using an Internal Control of Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Computational Intelligence and Bioinspired Systems, 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005, Proceedings, pp. 795-803, 2005, Springer, 3-540-26208-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Zhongmin 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](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 25(1), pp. 69-93, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
template induction, information extraction, unsupervised learning, grammar induction |
33 | Brian R. Gaines, Paul Compton |
Induction of Meta-knowledge about Knowledge Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 990-992, 1993. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 979-984, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
33 | Padhraic Smyth, Rodney M. Goodman |
An Information Theoretic Approach to Rule Induction from Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 4(4), pp. 301-316, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
33 | Miroslav Kubat, Kanoksri Sarinnapakorn, Sareewan Dendamrongvit |
Induction in Multi-Label Text Classification Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Machine Learning II ![In: Advances in Machine Learning II, Dedicated to the Memory of Professor Ryszard S. Michalski, pp. 225-244, 2010, Springer, 978-3-642-05178-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Classifier induction, multi-label examples, text classification, information fusion, Dempster-Shafer theory |
33 | Rinaldo Lima, Bernard Espinasse, Frederico Luiz Gonçalves de Freitas |
An adaptive information extraction system based on wrapper induction with POS tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1815-1820, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
machine learning, information extraction, boosting, supervised classification, wrapper induction, POS tagging |
33 | Yinhai Zhang, Jinfa Ge, Weixia Liu, Qin Wang |
An Experimental Research on Vector Control of Induction Motor Based on Simple Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICI ![In: Artificial Intelligence and Computational Intelligence, International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 1-8, 2009, Springer, 978-3-642-05252-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
vector control, rotor flux, decoupler, induction motor |
33 | Sé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](Pics/bibsonomy.png) |
CSE ![In: Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, CSE 2008, São Paulo, SP, Brazil, July 16-18, 2008, pp. 301-306, 2008, IEEE Computer Society, 978-0-7695-3193-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Machine learning, Faults detection, Induction motors, Multi-classifiers systems |
33 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I, pp. 658-665, 2008, Springer, 978-3-540-85562-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
indirect field-oriented control, neural network, adaptive control, induction motor |
33 | Sheng Yang, V. Ajjarapu |
Web-based speed control of induction motor with inverter dead-time compensation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 141-148, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
dead-time compensation, induction motor drives, web-based control, rapid prototyping, model-based design |
33 | Xin Wang, Xianzhong Dai |
The ANN Inverse Control of Induction Motor with Robust Flux Observer Based on ESO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II, pp. 196-205, 2007, Springer, 978-3-540-72392-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
neural network inverse, extended state observer, linearize and decouple, simulation, robust, induction motor |
33 | Andrew M. Pitts |
Alpha-structural recursion and induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(3), pp. 459-506, 2006. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|