Search results for "Induction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Christian Monson, Jaime G. Carbonell, Alon Lavie, Lori S. Levin	ParaMor: Finding Paradigms across Morphology.	CLEF	2007	DBLP DOI BibTeX RDF	Unsupervised Natural Language Morphology Induction, Paradigms
18	Roman Slowinski, Izabela Szczech, Miroslaw Urbanowicz, Salvatore Greco	Mining Association Rules with Respect to Support and Anti-support-Experimental Results.	RSEISP	2007	DBLP DOI BibTeX RDF	Anti-support, Confirmation, Pareto-optimal border, Association rules, Support, Induction, Confidence
18	Pieter W. Adriaans	Learning as Data Compression.	CiE	2007	DBLP DOI BibTeX RDF	learning as compression, two-part code optimization, randomness deficiency, DFA induction, MDL
18	Chung-Chian Hsu, Sheng-Hsuan Wang	An Integrated Framework for Visualized and Exploratory Pattern Discovery in Mixed Data.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	data mining, clustering, self-organizing map, pattern discovery, Attribute-oriented induction
18	Hung Son Nguyen	Approximate Boolean Reasoning: Foundations and Applications in Data Mining.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF	boolean reasoning, feature selection and extraction, decision rule construction, large data tables, data mining, Rough sets, association rules, discretization, decision tree induction
18	Serge Guillaume, Luis Magdalena	Expert guided integration of induced knowledge into a fuzzy knowledge base.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Rule base fusion, Man machine cooperation, Rule induction, Fuzzy partitioning, Expert knowledge
18	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
18	Wei Li 0022	An Inductive Inference System and Its Rationality.	AISC	2006	DBLP DOI BibTeX RDF	inference, induction, Belief, rationality, refutation
18	Zhigang Zeng, De-Shuang Huang, Zengfu Wang	Global Stability of a General Class of Discrete-Time Recurrent Neural Networks.	Neural Process. Lett.	2005	DBLP DOI BibTeX RDF	induction principle, delay, recurrent neural networks, discrete-time, global stability
18	Maarten Keijzer, Martin Baptist, Vladan Babovic, Javier Rodriguez Uthurburu	Determining equations for vegetation induced resistance using genetic programming.	GECCO	2005	DBLP DOI BibTeX RDF	equation induction, hydraulics, measurement units, genetic programming, hydrology
18	Yasser F. Hassan, Eiichiro Tazaki	Emergent Rough Set Data Analysis.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	rough sets, reduct, discretization, rule induction, emergent behavior
18	Fang Yu 0001, Bow-Yaw Wang	Toward Unbounded Model Checking for Region Automata.	ATVA	2004	DBLP DOI BibTeX RDF	Region automata, Real-time systems, Model checking, Verification, Induction, BMC
18	Jiying Wang, Frederick H. Lochovsky	Data extraction and label assignment for web databases.	WWW	2003	DBLP DOI BibTeX RDF	automatic wrapper induction, information integration, hidden web, web information extraction, data annotation, HTML forms
18	Claudia Perlich, Foster J. Provost	Aggregation-based feature invention and relational concept classes.	KDD	2003	DBLP DOI BibTeX RDF	aggregation, relational learning, feature construction, constructive induction, propositionalization
18	Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen 0002	Proof Search and Proof Check for Equational and Inductive Theorems.	CADE	2003	DBLP DOI BibTeX RDF	proof terms, computation, induction, automated theorem proving, deduction, rewrite rules, proof assistant
18	Kai Ming Ting	An Instance-Weighting Method to Induce Cost-Sensitive Trees.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	greedy divide-and-conquer algorithm, instance weighting, decision trees, induction, Cost-sensitive
18	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax with Variable Binding.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Alpha-conversion, Permutation actions, Set theory, Abstract syntax, Structural induction
18	Wiphada Wettayaprasit, Chidchanok Lursinsap, Chee-Hung Henry Chu	Quasi-Morphism and Comprehensibility of Rules in Inductive Learning.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	Neural networks, rule-based systems, rule extraction, induction learning
18	Marta Z. Kwiatkowska, Gethin Norman	Verifying Randomized Byzantine Agreement.	FORTE	2002	DBLP DOI BibTeX RDF	Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms
18	Zoltán Ésik, Hans Leiß	Greibach Normal Form in Algebraically Complete Semirings.	CSL	2002	DBLP DOI BibTeX RDF	Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory
18	Arnold Beckmann	Resolution Refutations and Propositional Proofs with Height-Restrictions.	CSL	2002	DBLP DOI BibTeX RDF	Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
18	Julio Ortega, Moshe Koppel, Shlomo Argamon	Arbitrating Among Competing Classifiers Using Learned Referees.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Bias selection, Integrating multiple models, Decision trees, Constructive induction, Theory revision, Stacked generalization
18	Miloslav Nepil	Learning to Parse from a Treebank: Combining TBL and ILP.	ILP	2001	DBLP DOI BibTeX RDF	corpus-based parser construction, transformation-based learning, inductive logic programming, grammar induction
18	Jerzy W. Grzymala-Busse, Pankaj Shah	A Comparison of Rule Matching Methods Used in AQ15 and LERS.	ISMIS	2000	DBLP DOI BibTeX RDF	rule truncation, AQ15, LERS, ten-fold cross validation, Wilcoxon matched-pairs signed rank test, rule induction, Knowledge discovery and data mining, classification systems
18	Houari A. Sahraoui, Mounir Boukadoum, Hakim Lounis, Frédéric Ethève	Predicting class libraries interface evolution: an investigation into machine learning approaches.	APSEC	2000	DBLP DOI BibTeX RDF	class library interface evolution prediction, object-oriented system evolution management, reusable class libraries, version compatibility, symptomatic instability detection, fuzzy logic-based approach, structural metrics, stability indicators, commercial C++ class libraries, top down induction of decision trees, machine learning, user interfaces, user interface, learning (artificial intelligence), fuzzy logic, object-oriented programming, decision trees, software quality, software metrics, software reusability, pattern classification, Bayes methods, software libraries, software development management, Bayesian classifiers, management of change
18	Sholom M. Weiss, Nitin Indurkhya	Decision-Rule Solutions for Data Mining with Missing Values.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	decision rule induction, boosting
18	A. Prasad Sistla, Viktor Gyuris	Parameterized Verification of Linear Networks using Automata as Invariants.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Safety, Invariants, Automata, Induction, Liveness, Linear networks
18	Theodore Hong	Visualizing Real Estate Property Information on the Web.	IV	1999	DBLP DOI BibTeX RDF	web information visualization, database integration, grammar induction, real estate
18	Herna L. Viktor, Ian Cloete	Inductive Learning with a Computational Network.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	induction programs, inductive bias, computational network, diabetes
18	KianSing Ng, Huan Liu, HweeBong Kwah	A Data Mining Application: Customes Retention at the Port of Singapore Authority (PSA).	SIGMOD Conference	1998	DBLP DOI BibTeX RDF	customer retention, multiple concept-level association rules, decision-tree induction, deviation analysis
18	Iztok A. Pilih, Dunja Mladenic, Nada Lavrac, Tine S. Prevec	Using machine learning for outcome prediction of patients with severe head injury.	CBMS	1997	DBLP DOI BibTeX RDF	outcome prediction, severe head injury, induced decision trees, clinical parameters, brain injury, machine learning, patients, decision tree induction, medical expert systems
18	Robert J. Hilderman, Liangchun Li, Howard J. Hamilton	Data Visualization in the DB-Discover System.	ICTAI	1997	DBLP DOI BibTeX RDF	DB-Discover system, research software tool, attribute oriented induction algorithm, climbing tree, dropping condition methods, multi attribute generalization, data visualization capabilities, databases, knowledge discovery, deductive databases, data visualization, KDD
18	Yuh-Jyh Hu	Learning Different Types of New Attributes by Combining the Neural Network and Iterative Attribute Construction.	ECML	1997	DBLP DOI BibTeX RDF	neural networks, classification, constructive induction
18	Norman Y. Foo, Pavlos Peppas, Yan Zhang 0003	Inductive Properties of States.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	induction, actions, states, automaton, situation calculus
18	Dang Van Hung, Ko Kwang Il	Verification via Digitized Models of Real-Time Hybrid Systems.	APSEC	1996	DBLP DOI BibTeX RDF	real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock
18	Marina Lenisa	Final Semantics for a Higher Order Concurrent Language.	CAAP	1996	DBLP DOI BibTeX RDF	second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction
18	Francis K. H. Quek, Meide Zhao	Inductive learning in hand pose recognition.	FG	1996	DBLP DOI BibTeX RDF	hand pose recognition, gestural systems, user hand anatomy, perspective effects, rulebase, disjunctive normal form formulae, rule-based induction system, flexible matching, inductive learning, learning by example
18	Gérard Pavillon	Knowledge Discovery from Epidemiological Databases.	EDBT	1996	DBLP DOI BibTeX RDF	Dependence and Causal Relationships, Knowledge Discovery, Induction
18	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
18	Maurice Pagnucco, Norman Y. Foo	Inverting Resolution with Conceptual Graphs.	ICCS	1993	DBLP DOI BibTeX RDF	inverse resolution, machine learning, Inductive inference, constructive induction
18	Zohar Manna, Richard J. Waldinger	Fundamentals of Deductive Program Synthesis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	deductive program synthesis, deductive-tableau system, theorem-proving framework, nonclausal resolution rule, induction rule, formal specification, artificial intelligence, specification, theorem proving, program testing, reasoning, inference mechanisms, proof
18	Jinwoo Kim, F. Javier Lerch	Towards a model of cognitive process in logical design: comparing object-oriented and traditional functional decomposition software methodologies.	CHI	1992	DBLP DOI BibTeX RDF	mental simulation, object-oriented design, rule induction, functional decomposition
18	Gheorghe Tecuci, Ryszard S. Michalski	Input Understanding as a Basis for Multistrategy Task-Adaptive Learning.	ISMIS	1991	DBLP DOI BibTeX RDF	abstraction, knowledge acquisition, induction, analogy, abduction, explanation-based learning, multistrategy learning
18	Karl J. Ottenstein	A Simplified Framework for Reduction in Strength.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	loop execution, sequential processors, induction variable substitution, register requirements, array dependences, language fragments, iteration test replacement, target code, program compilers, parallelizing compilers, execution time, teaching tool, inverse transformation
18	Pierre Jouvelot, Babak Dehbonei	A unified semantic approach for the vectorization and parallelization of generalized reductions.	ICS	1989	DBLP DOI BibTeX RDF	parallelization, vectorization, reduction, symbolic evaluation, induction variable
18	John Levine, Carl Henrik Westerberg, Michelle Galea, David Humphreys	Evolutionary-based learning of generalised policies for AI planning domains.	GECCO	2009	DBLP DOI BibTeX RDF	decision list learning, iterative rule learning, rule order optimisation, inductive learning, automated planning
18	Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan	Minimising Decision Tree Size as Combinatorial Optimisation.	CP	2009	DBLP DOI BibTeX RDF
18	Krzysztof Dembczynski, Wojciech Kotlowski, Roman Slowinski	Maximum likelihood rule ensembles.	ICML	2008	DBLP DOI BibTeX RDF
18	Yanhong Zhai, Bing Liu 0001	Extracting Web Data Using Instance-Based Learning.	World Wide Web	2007	DBLP DOI BibTeX RDF	instance-based learning, web data extraction, web content mining
18	Shuguo Han, Wee Keong Ng	Privacy-Preserving Genetic Algorithms for Rule Discovery.	DaWaK	2007	DBLP DOI BibTeX RDF
18	James Brotherston	Formalised Inductive Reasoning in the Logic of Bunched Implications.	SAS	2007	DBLP DOI BibTeX RDF
18	Jia-Ruey Chang, Ching-Tsung Hung, Gwo-Hshiung Tzeng, Shih-Chung Kang 0001	Using Rough Set Theory to Induce Pavement Maintenance and Rehabilitation Strategy.	RSKT	2007	DBLP DOI BibTeX RDF	Pavement management system (PMS), Maintenance and rehabilitation (M&R), Rough set theory (RST)
18	Peipeng Liang, Ning Zhong 0001, Jing-Long Wu, Shengfu Lu, Jiming Liu 0001, Yiyu Yao	Time Dissociative Characteristics of Numerical Inductive Reasoning: Behavioral and ERP Evidence.	IJCNN	2007	DBLP DOI BibTeX RDF
18	Javad Safaei, Gholamreza Ghassem-Sani	Incremental Learning of Planning Operators in Stochastic Domains.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
18	Jian Huang, Adrian R. Pearce	Toward Inductive Logic Programming for Collaborative Problem Solving.	IAT	2006	DBLP DOI BibTeX RDF
18	Davide Sangiorgi	The Bisimulation Proof Method: Enhancements and Open Problems.	FMOODS	2006	DBLP DOI BibTeX RDF
18	Mitja Lenic, Peter Kokol, Milan Zorman, Petra Povalej, Bruno Stiglic, Ryuichi Yamamoto	Improved Knowledge Mining with the Multimethod Approach.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
18	Yanhong Zhai, Bing Liu 0001	Extracting Web Data Using Instance-Based Learning.	WISE	2005	DBLP DOI BibTeX RDF
18	Pablo Sáez	Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus.	MICAI	2005	DBLP DOI BibTeX RDF
18	Weng-Long Chang, Minyi Guo, Michael (Shan-Hui) Ho, Sien-Tang Tsai	Communication-Free Data Alignment for Arrays with Exponential References Using Elementary Linear Algebra.	ISPA	2005	DBLP DOI BibTeX RDF
18	Rafal Latkowski, Michal Mikolajczyk	Data Decomposition and Decision Rule Joining for Classification of Data with Missing Values.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
18	Silvius Vasile Rus, Dongmin Zhang, Lawrence Rauchwerger	The Value Evolution Graph and its Use in Memory Reference Analysis.	IEEE PACT	2004	DBLP DOI BibTeX RDF
18	Rafal Latkowski, Michal Mikolajczyk	Data Decomposition and Decision Rule Joining for Classification of Data with Missing Values.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
18	Arnold Beckmann	Dynamic ordinal analysis.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
18	Guy De Pauw	Evolutionary Computing as a Tool for Grammar Development.	GECCO	2003	DBLP DOI BibTeX RDF
18	Donato Malerba, Annalisa Appice, Michelangelo Ceci, Marianna Monopoli	Trading-Off Local versus Global Effects of Regression Nodes in Model Trees.	ISMIS	2002	DBLP DOI BibTeX RDF
18	Shusaku Tsumoto	Discovery of Positive and Negative Knowledge in Medical Databases Using Rough Sets.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
18	Shusaku Tsumoto	Mining Positive and Negative Knowledge in Clinical Databases Based on Rough Set Model.	PKDD	2001	DBLP DOI BibTeX RDF
18	Abhik Roychoudhury, I. V. Ramakrishnan	Automated Inductive Verification of Parameterized Protocols.	CAV	2001	DBLP DOI BibTeX RDF
18	Blaz Zupan, Ivan Bratko, Marko Bohanec, Janez Demsar	Function Decomposition in Machine Learning.	Machine Learning and Its Applications	2001	DBLP DOI BibTeX RDF
18	Louise A. Dennis, Alan Smaill	Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain.	TPHOLs	2001	DBLP DOI BibTeX RDF
18	Gilles Dowek	The Stratified Foundations as a Theory Modulo.	TLCA	2001	DBLP DOI BibTeX RDF
18	Kendall Giles, Kweku-Muata Bryson, Qui Weng	Comparison of Two Families of Entropy-based Classification Measures with and without Feature Selection.	HICSS	2001	DBLP DOI BibTeX RDF
18	Vasant Dhar	A Comparison of GLOWER and other Machine Learning Methods for Investment Decision Making.	EPIA	2001	DBLP DOI BibTeX RDF
18	James L. Caldwell	Extracting General Recursive Program Schemes in Nuprl's Type Theory.	LOPSTR	2001	DBLP DOI BibTeX RDF
18	Cécile Canovas-Dumas, Paul Caspi	A PVS Proof Obligation Generator for Lustre Programs.	LPAR	2000	DBLP DOI BibTeX RDF
18	Masami Hagiya, Koichi Takahashi	Discovery and Deduction.	Discovery Science	2000	DBLP DOI BibTeX RDF
18	Ramesh Bharadwaj, Steve Sims	Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.	TACAS	2000	DBLP DOI BibTeX RDF
18	DaeEun Kim, Jaeho Lee	Handling Continuous-Valued Attributes in Decision Tree with Neural Network Modelling.	ECML	2000	DBLP DOI BibTeX RDF
18	Georgios Paliouras, Vangelis Karkaletsis, Ion Androutsopoulos, Constantine D. Spyropoulos	Learning Rules for Large-Vocabulary Word Sense Disambiguation: A Comparison of Various Classifiers.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
18	Jeremy Gow, Alan Bundy, Ian Green	Extensions to the Estimation Calculus.	LPAR	1999	DBLP DOI BibTeX RDF
18	Parosh Aziz Abdulla, Bengt Jonsson 0001	On the Existence of Network Invariants for Verifying Parameterized Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF
18	Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch	Observational Proofs with Critical Contexts.	FASE	1998	DBLP DOI BibTeX RDF
18	Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam	Automating Proofs of Integrity Constraints in Situation Calculus.	ISMIS	1996	DBLP DOI BibTeX RDF
18	Geoffrey I. Webb	Cost-Sensitive Specialization.	PRICAI	1996	DBLP DOI BibTeX RDF
18	Henrik Linnestad, Christian Prehofer, Olav Lysne	Higher-Order Proof by Consistency.	FSTTCS	1996	DBLP DOI BibTeX RDF
18	Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs	A Structural Linearization Principle for Processes.	CAV	1993	DBLP DOI BibTeX RDF
18	Frank Pfenning, Christine Paulin-Mohring	Inductively Defined Types in the Calculus of Constructions.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
18	Stephen J. Garland, John V. Guttag	Inductive Methods for Reasoning about Abstract Data Types.	POPL	1988	DBLP DOI BibTeX RDF
18	Willem P. de Roever	On Backtracking and Greatest Fixpoints.	ICALP	1977	DBLP DOI BibTeX RDF
18	Cheng-Wen Cheng, Jonas Rabin	Synthesis of Decision Rules.	Commun. ACM	1976	DBLP DOI BibTeX RDF
16	Mourad Sellah, Abdellah Kouzou, Mohamed Mounir Rezaoui	Investigation of SVPWM Based Sliding Mode Control Application on Dual-Star Induction Motor and Dual Open-End Winding Induction Motor.	Period. Polytech. Electr. Eng. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Maxence Grand	Action Model Learning based on Regular Grammar Induction for AI Planning. (Apprentissage de Modèle d'Actions basé sur l'Induction Grammaticale Régulière pour la Planification en Intelligence Artificielle).		2022	RDF
16	Lianfang Ma, Jianhui Chen, Ning Zhong 0001	Analyzing Neural Correlations Between Numerical Induction and Letter Induction Based on Data-Brain Driven Integration Evidence.	WI/IAT (Workshop/Special Session)	2021	DBLP DOI BibTeX RDF
16	Patricia Johann, Andrew Polonsky	Deep Induction: Induction Rules for (Truly) Nested Types.	FoSSaCS	2020	DBLP DOI BibTeX RDF
16	Anne-Sophie Milcent	Les agents virtuels expressifs et leur impact sur l'induction de l'empathie chez l'utilisateur: application au domaine de la formation médicale. (Expressive virtual agents and their impact on the user empathy induction: application to the medical training field).		2020	RDF
16	Swen Ribeiro	Induction non-supervisée de schémas d'évènements à partir de textes journalistiques. (Unsupervised event schemas induction from journalistic texts).		2020	RDF
16	Théo Pierron	Induction Schemes : From Language Separation to Graph Colorings. (Schémas d'induction : from languages separation to graph colorings).		2019	RDF
16	Andrés Perea	Why forward induction leads to the backward induction outcome: A new proof for Battigalli's theorem.	Games Econ. Behav.	2018	DBLP DOI BibTeX RDF
16	Jaroslav Chovan, Marián Slodicka	Induction hardening of steel with restrained Joule heating and nonlinear law for magnetic induction field: Solvability.	J. Comput. Appl. Math.	2017	DBLP DOI BibTeX RDF