Search
Search Results
-
Rule Induction
This chapter begins with a brief discussion of some problems associated with input data. Then different rule types are defined. Four representative... -
Mathematical Induction and Recursion
This chapter discusses mathematical induction and recursion. Induction is a common proof technique in mathematics, and there are two parts to a proof... -
Mathematical Induction
Mathematical induction was mentioned earlier briefly when we discussed Peano’s axioms. In this chapter, we will provide the exact definition of it. -
Induction of Bilingual Dictionaries
The aim of the Bilingual Lexicon Induction (BLI) task is to produce a bilingual lexicon using a pair of comparable corpora and either a small set of... -
Cost-Sensitive Decision Tree Induction on Dirty Data
As the rapid growth of data in our society, dirty data are increasingly common. In the process of cost-sensitive decision tree induction, dirty data... -
Getting Saturated with Induction
Induction in saturation-based first-order theorem proving is a new exciting direction in the automation of inductive reasoning. In this paper we... -
Purely Symbolic Induction of Structure
Techniques honed for the induction of grammar from text corpora can be extended to visual, auditory and other sensory domains, providing a structure... -
Grammar Induction - Experimental Results
The OpenCog Learning project explores novel techniques for the induction of symbolic structure from environmental sources. As a first application of... -
Machine Learning Based Incipient Fault Diagnosis of Induction Motor
An induction motor is the most important machine used in all industries, so the health of the machine is checked regularly by the machine learning... -
Better trees: an empirical study on hyperparameter tuning of classification decision tree induction algorithms
Machine learning algorithms often contain many hyperparameters whose values affect the predictive performance of the induced models in intricate...
-
Template-Based Conjecturing for Automated Induction in Isabelle/HOL
Proof by induction plays a central role in formal verification. However, its automation remains as a formidable challenge in Computer Science. To... -
Few-shot learning with hierarchical pooling induction network
Learning to recognize new concepts from few-shot examples is a long-standing challenge in modern computer vision. Metric based few-shot learning is a...
-
A hybrid method based on deep learning and ensemble learning for induction motor fault detection using sound signals
Fault detection in induction motors has an important role in saving costs in various industries. Due to the wide range of faults in induction motors,...
-
Natural Numbers, Mathematical Induction, Recursion
At the end of this chapter... -
Machines Learn Better with Better Data Ontology: Lessons from Philosophy of Induction and Machine Learning Practice
As scientists start to adopt machine learning (ML) as one research tool, the security of ML and the knowledge generated become a concern. In this...
-
CD-BLI: Confidence-Based Dual Refinement for Unsupervised Bilingual Lexicon Induction
Unsupervised bilingual lexicon induction is a crucial and challenging task in multilingual NLP, which aims to induce word translation by aligning... -
Compact In-Memory Representation of Decision Trees in GPU-Accelerated Evolutionary Induction
Decision trees (DTs) are popular techniques in the field of explainable machine learning. Traditionally, DTs are induced using a top-down greedy... -
Revisiting clustering for efficient unsupervised dialogue structure induction
In the development of a task-oriented dialogue system, defining the dialogue structure is a time-consuming task. Hence, several works have looked...
-
Full-program induction: verifying array programs sans loop invariants
Arrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that...
-
An interior search algorithm based on chaotic and crossover strategies for parameter extraction of polyphase induction machines
The accuracy of the extracted parameters is important for studying the polyphase induction motor performance and/or the motor control schemes. An...