|
|
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 |
16 | Daniel Wand |
Superposition: Types and Induction. (Superposition : types et induction). |
|
2017 |
RDF |
|
16 | Luis Alberto Pereira, Luís Fernando Alves Pereira, Sergio Haffner |
Airgap induction of five-phase induction machines operating with one opened phase. |
IECON |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Kazuma Takei, Akio Yamamoto |
Modeling of voltage induction of a resonant electrostatic induction motor using 2-phase slider and a single coil. |
SII |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Michele Carpentieri, Antonio Cerrato, Ivana Baldassarre, Olimpia Matarazzo |
Effects of Cognitive Feedback, Emotional Induction, and Social Pressure on Decisions Related to Cognitive Performance with Economic Reward: Cognitive Feedback, Emotional Induction, and Social Pressure on Decision Making. |
ICTAI |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Simon Cruanes |
Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond. (Extensions de la Superposition pour l'Arithmétique Linéaire Entière, l'Induction Structurelle, et bien plus encore). |
|
2015 |
RDF |
|
16 | Raja Bensalem Bahloul, Marwa Elkarwi |
Induction of a variable granularity property grammar from the Arabic Treebank ATB (Induction d'une grammaire de propriétés à granularité variable à partir du treebank arabe ATB) [in French]. |
TALN (4) |
2014 |
DBLP BibTeX RDF |
|
16 | Mohammad Nasiruddin, Didier Schwab, Andon Tchechmedjiev, Gilles Sérasset, Hervé Blanchon |
Word Sense Induction for Lexical Resource Enrichment (Induction de sens pour enrichir des ressources lexicales) [in French]. |
TALN (2) |
2014 |
DBLP BibTeX RDF |
|
16 | Abdelkader Kersani |
Preuves par induction dans le calcul de superposition. (Induction proof in superposition calculus). |
|
2014 |
RDF |
|
16 | Johnson I. Agbinya |
Performance of Magnetic Induction Communication Systems Using Induction Factors. |
Wirel. Pers. Commun. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Nasiruddin |
A State of the Art of Word Sense Induction: A Way Towards Word Sense Disambiguation for Under-Resourced Languages (État de l'art de l'induction de sens: une voie vers la désambiguïsation lexicale pour les langues peu dotées) [in French]. |
RÉCITAL |
2013 |
DBLP BibTeX RDF |
|
16 | Eric W. K. Tsang, John N. Williams |
Generalization and Induction: Misconceptions, Clarifications, and a Classification of Induction. |
MIS Q. |
2012 |
DBLP BibTeX RDF |
|
16 | Alwen Tiu, Alberto Momigliano |
Cut elimination for a logic with induction and co-induction. |
J. Appl. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Behrooz Vahidi, Mohammad Reza Bank Tavakoli |
Simulation of Ward Leonard test set and induction motor on MATLAB for teaching performance characteristics of induction motor to undergraduate students. |
Comput. Appl. Eng. Educ. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Keiko Nakata 0001, Tarmo Uustalu, Marc Bezem |
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Magistry, Benoît Sagot |
Segmentation et induction de lexique non-supervisées du mandarin (Unsupervised segmentation and induction of mandarin lexicon). |
TALN (Articles longs) |
2011 |
DBLP BibTeX RDF |
|
16 | Alwen Tiu, Alberto Momigliano |
Cut Elimination for a Logic with Induction and Co-induction |
CoRR |
2010 |
DBLP BibTeX RDF |
|
16 | Andrés Perea |
Backward Induction versus Forward Induction Reasoning. |
Games |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jérôme Champavère |
Induction de requêtes guidée par schéma. (Schema-Guided Query Induction). |
|
2010 |
RDF |
|
16 | Gurram Sunitha, A. Rama Mohan Reddy, A. V. Sriharsha |
A Dynamic Task-Model Induction Model Based Induction Mining on Large and High Dimension Data. |
ARTCom |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Alwen Tiu, Alberto Momigliano |
Induction and Co-induction in Sequent Calculus |
CoRR |
2008 |
DBLP BibTeX RDF |
|
16 | Fabrice Nahon |
Preuve par induction dans le calcul des séquents modulo. (Proof by induction in sequent calculus modulo). |
|
2007 |
RDF |
|
16 | Jack Stalnaker, Mark E. Everett, Alfonso Benavides, Carl J. Pierce Jr. |
Mutual induction and the effect of host conductivity on the EM induction response of buried plate targets using 3-D finite-element analysis. |
IEEE Trans. Geosci. Remote. Sens. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Becherif, Romeo Ortega, Eduardo Mendes, Sangcheol Lee |
Passivity-based control of a doubly-fed induction generator interconnected with an induction motor. |
CDC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Urso |
Généralisations et méthodes correctes pour l'induction mathématique. (Sound generalizations and methods for mathematical induction). |
|
2002 |
RDF |
|
16 | Didier Calle |
Agrandissement d'images par synthèse de similarités et par induction sur un ensemble. (Image enlargement using similarities from a pyramid and induction onto a set). |
|
1999 |
RDF |
|
16 | Narjes Ben Rajeb |
Preuves par induction implicite: cas des théories associatives-commutatives et observationnelles. (Proofs by implicit induction: case of associative-commutative and observational theories). |
|
1997 |
RDF |
|
16 | Laurent Fribourg, Hans Olsén |
A Unifying View of Structural Induction and Computation Induction for Logic Programs. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
16 | G. Kalkanis, Gerard V. Conroy |
Principles of induction and approaches to attribute based induction. |
Knowl. Eng. Rev. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Crémilleux |
Induction automatique : aspects théoriques, le système ARBRE, applications en médecine. (Automatic induction : theoretical aspects, the system ARBRE, medical applications). |
|
1991 |
RDF |
|
16 | George Drastal, Gabor Czako, Stan Raatz |
Induction in an Abstraction Space: A Form of Constructive Induction. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
16 | Larry A. Rendell |
A General Framework for Induction and a Study of Selective Induction. |
Mach. Learn. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | William A. Howard, Georg Kreisel |
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. |
J. Symb. Log. |
1966 |
DBLP DOI BibTeX RDF |
|
14 | Nicola Fanizzi, Claudia d'Amato, Floriana Esposito |
Towards the induction of terminological decision trees. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
|
14 | |
Automata Induction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
14 | |
Grammar Induction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
14 | |
Automatic Induction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
14 | |
Automatic Wrapper Induction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
14 | |
Grammatical Induction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
14 | |
Automatic Language Induction. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Martin Inderbitzin, Sytse Wierenga, Aleksander Väljamäe, Ulysses Bernardet, Paul F. M. J. Verschure |
Social cooperation and competition in the mixed reality space eXperience Induction Machine XIM. |
Virtual Real. |
2009 |
DBLP DOI BibTeX RDF |
XIM, Cooperation, Mixed reality, Competition, Game play, Proxemics, Human behavior, Social behavior |
14 | Filippo Menolascina, Vitoantonio Bevilacqua, Mariadele Zarrilli, Giuseppe Mastronardi |
Induction of Fuzzy Rules by Means of Artificial Immune Systems in Bioinformatics. |
Fuzzy Systems in Bioinformatics and Computational Biology |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Shuyi Zheng, Ruihua Song, Ji-Rong Wen, C. Lee Giles |
Efficient record-level wrapper induction. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
broom representation, web record, information extraction, wrapper |
14 | Dino Pedreschi, Salvatore Ruggieri, Franco Turini |
Integrating induction and deduction for finding evidence of discrimination. |
ICAIL |
2009 |
DBLP DOI BibTeX RDF |
direct and systematic discrimination, scoring systems, data mining, classification, logic programming |
14 | Frederic T. Stahl, Max A. Bramer, Mo Adda |
PMCRI: A Parallel Modular Classification Rule Induction Framework. |
MLDM |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Tim Kimber, Krysia Broda, Alessandra Russo |
Induction on Failure: Learning Connected Horn Theories. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
Inverse Entailment, Abductio, Inductive Logic Programming |
14 | John R. Woodward, Ruibin Bai |
Why evolution is not a good paradigm for program induction: a critique of genetic programming. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
genetic programming |
14 | Yasuo Kudo, Tetsuya Murai, Seiki Akama |
A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics. |
Interval / Probabilistic Uncertainty and Non-Classical Logics |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Wojciech Penar, Michal Wozniak 0001 |
Experiments on Classifiers Obtained Via Decision Tree Induction Methods with Different Attribute Acquisition Cost Limit. |
Computer Recognition Systems 2 |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Adriana Pietramala, Veronica L. Policicchio, Pasquale Rullo, Inderbir Sidhu |
A Genetic Algorithm for Text Classification Rule Induction. |
ECML/PKDD (2) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Senellart, Avin Mittal, Daniel Muschick, Rémi Gilleron, Marc Tommasi |
Automatic wrapper induction from hidden-web sources with domain knowledge. |
WIDM |
2008 |
DBLP DOI BibTeX RDF |
invisible web, web service, information extraction, wrapper, probing, deep web, form, hidden web |
14 | Peng Wu 0003, Sandra Carberry, Daniel Chester, Stephanie Elzer |
Decision Tree Induction for Identifying Trends in Line Graphs. |
ISMIS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Annalisa Appice, Michelangelo Ceci, Donato Malerba, Savino Saponara |
Stepwise Induction of Logistic Model Trees. |
ISMIS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Bernard Lambeau, Christophe Damas, Pierre Dupont |
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren |
Schema-Guided Induction of Monadic Queries. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Anilu Franco-Arcega, Jesús Ariel Carrasco-Ochoa, Guillermo Sánchez-Díaz, José Francisco Martínez Trinidad |
A New Incremental Algorithm for Induction of Multivariate Decision Trees for Large Datasets. |
IDEAL |
2008 |
DBLP DOI BibTeX RDF |
Decision trees, supervised classification, large datasets |
14 | Paola Britos, Pablo Felgaer, Ramón García-Martínez |
Bayesian Networks Optimization Based on Induction Learning Techniques. |
IFIP AI |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Marek Kretowski, Piotr Popczynski |
Global Induction of Decision Trees: From Parallel Implementation to Distributed Evolution. |
ICAISC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jerzy Jelonkiewicz, Andrzej Przybyl |
Accuracy Improvement of Neural Network State Variable Estimator in Induction Motor Drive. |
ICAISC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Celso Y. Ishida, Andre B. de Carvalho, Aurora Trinidad Ramirez Pozo, Elizabeth Ferreira Gouvea Goldbarg, Marco César Goldbarg |
Exploring Multi-objective PSO and GRASP-PR for Rule Induction. |
EvoCOP |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Liming Zhong, Shefang Ye, Yihui Wu, Qiqing Zhang |
Heme Oxygenase Induction Confers Cellular Adaptive Response against Multi-walled Carbon Nanotubes-induced Cytotoxicity in A549 Cell. |
BMEI (2) |
2008 |
DBLP DOI BibTeX RDF |
Multi-walled carbon nanotubes, Oxidative stress, Heme oxygenase |
14 | Annalisa Appice, Michelangelo Ceci, Donato Malerba |
Top-Down Induction of Relational Model Trees in Multi-instance Learning. |
ILP |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Alma Y. Alanis, Edgar N. Sánchez, Alexander G. Loukianov |
Real-time discrete recurrent high order neural observer for induction motors. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Yu-Neng Fan, Chun-Che Huang, Ching-Chin Chern |
Rule induction based on an incremental rough set. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Haider A. F. Mohamed, En Lau Lau, Soo Siang Yang, Mahmoud Moghavvemi |
Fuzzy-SMC-PI Flux and Speed Control for Induction Motors. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Alfredo Bermúdez, Dolores Gómez Pedreira, M. Carmen Muñiz, Pilar Salgado |
Transient numerical simulation of a thermoelectrical problem in cylindrical induction heating furnaces. |
Adv. Comput. Math. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 35J25, 35K20, 65N30, 65K05 |
14 | Emin Germen, Dogan Gökhan Ece, Ömer Nezih Gerek |
Self Organizing Map (SOM) Approach for Classification of Mechanical Faults in Induction Motors. |
IWANN |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Matt Kaufmann, Konrad Slind |
Proof Pearl: Wellfounded Induction on the Ordinals Up to epsilon 0. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Georges Valétudie |
Induction Tree methods to classify M. tuberculosis spoligotypes. |
CIDM |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Edgar N. Sánchez, Alma Y. Alanis, Alexander G. Loukianov |
Discrete-Time Recurrent High Order Neural Observer for Induction Motors. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Chung-Yao Chuang, Ying-Ping Chen |
Likage identification by perturbation and decision tree induction. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Rong-Jong Wai, Kun-Lun Chuang, Jeng-Dao Lee |
Total sliding-model-based particle swarm optimization control design for linear induction motor. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Nicolae Budisan, Ioan Filip, Octavian Prostean, Iosif Szeidert, Lucian Mihet-Popa |
Considerations regarding the Induction Generator's Self-Excitation within Energy Power Stations. |
SACI |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Michael Fleischman, Brandon Roy, Deb Roy |
Temporal feature induction for baseball highlight classification. |
ACM Multimedia |
2007 |
DBLP DOI BibTeX RDF |
highlight classification, sports video, temporal data mining, discriminative models, baseball |
14 | Pawel Terlecki, Krzysztof Walczak 0002 |
Jumping Emerging Pattern Induction by Means of Graph Coloring and Local Reducts in Transaction Databases. |
RSFDGrC |
2007 |
DBLP DOI BibTeX RDF |
jumping emerging pattern, pattern with negation, condensed decision table, rough set, graph coloring, transaction database, local reduct |
14 | Sebastian D. C. de O. Galvão, Estevam R. Hruschka Jr. |
A Markov Blanket Based Strategy to Optimize the Induction of Bayesian Classifiers When Using Conditional Independence Learning Algorithms. |
DaWaK |
2007 |
DBLP DOI BibTeX RDF |
Bayesian Networks, Bayesian Classifiers, Conditional Independence, Markov Blanket |
14 | Leonid Peshkin |
Structure induction by lossless graph compression. |
DCC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Zhenglu Yang, Yitong Wang, Masaru Kitsuregawa |
LAPIN: Effective Sequential Pattern Mining Algorithms by Last Position Induction for Dense Databases. |
DASFAA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Cheng-Hung Tsai, Hung-Ching Lu |
Speed identification via cerebellar model articulation controller for induction motor. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Xi-Zhao Wang, Jian-Hui Yan, Ran Wang 0001, Chun-Ru Dong |
A sample selection algorithm in fuzzy decision tree induction and its theoretical analyses. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jiangguo (James) Liu |
An Efficient Characteristic Method for the Magnetic Induction Equation with Various Resistivity Scales. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
characteristic method, convection-diffusion, magnetohydrodynamics(MHD), magnetic resistivity, numerical simulation |
14 | Gaspard Breton, Florence Février, Eric Jamet, Géraldine Rouxel |
Induction and Evaluation of Affects for Facial Motion Capture. |
ACII |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Claudia d'Amato, Nicola Fanizzi, Floriana Esposito |
Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Lin-yan Xue, Xiao-hua Zuo, Dong-dong Zhou |
Four Matching Operators of Fuzzy Decision Tree Induction. |
FSKD (4) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jordi Poveda, Mihai Surdeanu, Jordi Turmo |
A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Marcin Wolski |
Category-Based Rough Induction. |
RSEISP |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Andrei Doncescu, Katsumi Inoue, Yoshitaka Yamamoto |
Knowledge Based Discovery in Systems Biology Using CF-Induction. |
IEA/AIE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Felix Werner, Joaquin Sitte, Frédéric Maire |
On the Induction of Topological Maps from Sequences of Colour Histograms. |
DICTA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Manuchehr Soleimani, William R. B. Lionheart |
Absolute Conductivity Reconstruction in Magnetic Induction Tomography Using a Nonlinear Method. |
IEEE Trans. Medical Imaging |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Thanit Puthpongsiriporn, J. David Porter, Bopaya Bidanda, Ming-En Wang, Richard E. Billo |
Attribute-Level Neighbor Hierarchy Construction Using Evolved Pattern-Based Knowledge Induction. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
clustering, knowledge discovery, similarity measures, Approximate query answering, query-answering systems |
14 | Jan Paseka |
Rieffel induction and strong Morita equivalence in the context of Hilbert modules. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Rafal A. Angryk, Frederick E. Petry |
Knowledge Discovery in Fuzzy Databases Using Attribute-Oriented Induction. |
Foundations and Novel Approaches in Data Mining |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Juan Pablo Carvallo 0001 |
Supporting Organizational Induction and Goals Alignment for COTS Components Selection by Means of i*. |
ICCBSS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Marek Kretowski, Marek Grzes |
Evolutionary Induction of Cost-Sensitive Decision Trees. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Tetsunari Inamura, Naoki Kojo, Masayuki Inaba |
Situation Recognition and Behavior Induction based on Geometric Symbol Representation ofMultimodal Sensorimotor Patterns. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Horváth 0001, Susanne Hoche, Stefan Wrobel |
Effective rule induction from labeled graphs. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
graph mining, computational chemistry |
14 | Daniel Nikovski, Veselin Kulev |
Induction of compact decision trees for personalized recommendation. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
frequent item-set mining, product recommendation, response modeling |
14 | Xu Li 0003, Yuan Xu 0002, Bin He 0002 |
Simulation and experiment study of magnetoacoustic tomography with magnetic induction (MAT-MI) for bioimpedance imaging. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Fabio B. Losa, Pau Origoni, Gilbert Ritschard |
Experiences from a Socio-economic Application of Induction Trees. |
Discovery Science |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo |
Examples of Integration of Induction and Deduction in Knowledge Discovery. |
Reasoning, Action and Interaction in AI Theories and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Kuangnan Chang, David Chenho Kung |
Model Checking with Induction. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 10623 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|