Search results for "induction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov	Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.	ICFP	2006	DBLP DOI BibTeX RDF	languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax
12	Pierre Amiranoff, Albert Cohen 0001, Paul Feautrier	Beyond Iteration Vectors: Instancewise Relational Abstract Domains.	SAS	2006	DBLP DOI BibTeX RDF
12	Seung-Hyun Paek, Yoon-Keun Oh, Do-Hoon Lee	sIDMG: Small-Size Intrusion Detection Model Generation of Complimenting Decision Tree Classification Algorithm.	WISA	2006	DBLP DOI BibTeX RDF
12	Kerstin Lemke-Rust, Christof Paar	An Adversarial Model for Fault Analysis Against Low-Cost Cryptographic Devices.	FDTC	2006	DBLP DOI BibTeX RDF	Tamper-Proof Hardware, Fault Analysis, Physical Security, Adversarial Model, Tampering, Implementation Attack
12	Theerayod Wiangtong, P. Dechsuwan	Unified motor controller based on space vector modulation technique.	ISCAS	2006	DBLP DOI BibTeX RDF
12	Isabelle Gnaedig, Hélène Kirchner	Computing constructor forms with non terminating rewrite programs.	PPDP	2006	DBLP DOI BibTeX RDF	constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness
12	Ming Wu, Delin Xia, Puliu Yan	Difference Similitude Method in Knowledge Reduction.	FSKD	2006	DBLP DOI BibTeX RDF
12	Shusaku Tsumoto	Pawlak Rough Set Model, Medical Reasoning and Rule Mining.	RSCTC	2006	DBLP DOI BibTeX RDF
12	Hasan Mehrjerdi, Jamel Ghouili	Strategies Comparison for Optimization of Multi Objective Function in a Fuel Cell Electrical Vehicle.	CCECE	2006	DBLP DOI BibTeX RDF
12	Flavian Vasile, Adrian Silvescu, Dae-Ki Kang, Vasant G. Honavar	TRIPPER: Rule Learning Using Taxonomies.	PAKDD	2006	DBLP DOI BibTeX RDF
12	Rémi Gilleron, Patrick Marty, Marc Tommasi, Fabien Torre	Interactive Tuples Extraction from Semi-Structured Data.	Web Intelligence	2006	DBLP DOI BibTeX RDF
12	Thomas Degris, Olivier Sigaud, Pierre-Henri Wuillemin	Learning the structure of Factored Markov Decision Processes in reinforcement learning problems.	ICML	2006	DBLP DOI BibTeX RDF
12	Christian Sloper, Jan Arne Telle	Towards a Taxonomy of Techniques for Designing Parameterized Algorithms.	IWPEC	2006	DBLP DOI BibTeX RDF
12	Zhao Li, Wee Keong Ng, Aixin Sun	Web data extraction based on structural similarity.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Clustering, Classification, Framework, Web data extraction
12	Sarah Jane Delany, Padraig Cunningham, Lorcan Coyle	An Assessment of Case-Based Reasoning for Spam Filtering.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	case base reasoning, spam filtering
12	Chaochang Chiu, Pei-Lun Hsu	A constraint-based genetic algorithm approach for mining classification rules.	IEEE Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
12	Jan Poland, Marcus Hutter	Asymptotics of discrete MDL for online prediction.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
12	Ying Xie, Vijay V. Raghavan 0001	A Probabilistic Logic-based Framework for Characterizing Knowledge Discovery in Databases.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
12	Tuan-Fang Fan, Duen-Ren Liu, Churn-Jung Liau	Justification and Hypothesis Selection in Data Mining.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
12	Juan José Rodríguez, Carlos J. Alonso, Oscar J. Prieto	Bias and Variance of Rotation-Based Ensembles.	IWANN	2005	DBLP DOI BibTeX RDF
12	João Gama 0001, Pedro Medas, Pedro Pereira Rodrigues	Learning decision trees from dynamic data streams.	SAC	2005	DBLP DOI BibTeX RDF
12	Marlon Núñez, Raúl Fidalgo, Rafael Morales Bueno	On-Line Learning of Decision Trees in Problems with Unknown Dynamics.	MICAI	2005	DBLP DOI BibTeX RDF
12	Martin Scholz	Sampling-based sequential subgroup mining.	KDD	2005	DBLP DOI BibTeX RDF	sampling, prior knowledge, subgroup discovery
12	Marina Sapir, David Verbel, Angeliki Kotsianti, Olivier Saidi	Live LogicTM: Method for Approximate Knowledge Discovery and Decision Making.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
12	Lee Pike, Steven D. Johnson	The formal verification of a reintegration protocol.	EMSOFT	2005	DBLP DOI BibTeX RDF	infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems
12	James Brotherston	Cyclic Proofs for First-Order Logic with Inductive Definitions.	TABLEAUX	2005	DBLP DOI BibTeX RDF
12	Yongjian Li	The Inductive Approach to Strand Space.	FORTE	2005	DBLP DOI BibTeX RDF
12	Beatriz de la Iglesia, Alan P. Reynolds, Victor J. Rayward-Smith	Developments on a Multi-objective Metaheuristic (MOMH) Algorithm for Finding Interesting Sets of Classification Rules.	EMO	2005	DBLP DOI BibTeX RDF
12	Jan Suchý, Jirí Kubalík	Inducing Diverse Decision Forests with Genetic Programing.	EuroGP	2005	DBLP DOI BibTeX RDF
12	Seung Yeol Yoo, Achim G. Hoffmann	Knowledge-Level Management of Web Information.	APWeb	2005	DBLP DOI BibTeX RDF
12	Jason Waddle, David A. Wagner 0001	Fault Attacks on Dual-Rail Encoded Systems.	ACSAC	2005	DBLP DOI BibTeX RDF
12	Daniel Leivant	Partial Correctness Assertions Provable in Dynamic Logics.	FoSSaCS	2004	DBLP DOI BibTeX RDF
12	Erick Cantú-Paz, Shawn D. Newsam, Chandrika Kamath 0001	Feature selection in scientific applications.	KDD	2004	DBLP DOI BibTeX RDF	astronomical survey, data mining, feature selection, remote sensing, plasma physics
12	Lionel Elie Mamane	Surreal Numbers in Coq.	TYPES	2004	DBLP DOI BibTeX RDF
12	Alejandro Guerra-Hernández, Amal El Fallah Seghrouchni, Henry Soldano	Distributed Learning in Intentional BDI Multi-Agent Systems.	ENC	2004	DBLP DOI BibTeX RDF
12	Silvius Vasile Rus, Dongmin Zhang, Lawrence Rauchwerger	Automatic Parallelization Using the Value Evolution Graph.	LCPC	2004	DBLP DOI BibTeX RDF
12	Francesca A. Lisi, Floriana Esposito	Efficient Evaluation of Candidate Hypotheses in AL-log.	ILP	2004	DBLP DOI BibTeX RDF
12	Kwok-Wa Lam, Victor C. S. Lee	Building Decision Trees Using Functional Dependencies.	ITCC (2)	2004	DBLP DOI BibTeX RDF
12	Tony Lindgren	Methods for Rule Conflict Resolution.	ECML	2004	DBLP DOI BibTeX RDF
12	Jacobus van Zyl, Ian Cloete	Simultaneous Concept Learning of Fuzzy Rules.	ECML	2004	DBLP DOI BibTeX RDF
12	Roshni Mohapatra, Kanagasabai Rajaraman, Sam Yuan Sung	Efficient Wrapper Reinduction from Dynamic Web Sources.	Web Intelligence	2004	DBLP DOI BibTeX RDF
12	Leila Shila Shafti, Eduardo Pérez	Machine Learning by Multi-feature Extraction Using Genetic Algorithms.	IBERAMIA	2004	DBLP DOI BibTeX RDF
12	Michaela M. Black, Ray J. Hickey	Learning classification rules for telecom customer call data under concept drift.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Decision trees, User profiling, Concept drift, Adaptive learning
12	Lev D. Beklemishev	Proof-theoretic analysis by iterated reflection.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
12	Deepak Kapur, Nikita A. Sakhanenko	Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions.	TPHOLs	2003	DBLP DOI BibTeX RDF
12	Shusaku Tsumoto	Mining Multi-level Diagnostic Process Rules from Clinical Databases Using Rough Sets and Medical Diagnostic Model.	IFSA	2003	DBLP DOI BibTeX RDF
12	Andrés Perea	Rationalizability and minimal complexity in dynamic games.	TARK	2003	DBLP DOI BibTeX RDF
12	Petra Povalej, Mitja Lenic, Milojka Molan Stiglic, Maja Skerbinjek Kavalar, Jernej Zavrsnik, Peter Kokol	A Journey trough Clinical Applications of Multimethod Decision Trees.	AIME	2003	DBLP DOI BibTeX RDF
12	Ying Xie, Vijay V. Raghavan 0001	A Theoretical Framework for Knowledge Discovery in Databases Based on Probabilistic Logic.	RSFDGrC	2003	DBLP DOI BibTeX RDF
12	Shusaku Tsumoto	Extracting Structure of Medical Diagnosis: Rough Set Approach.	RSFDGrC	2003	DBLP DOI BibTeX RDF
12	Salvatore Greco, Masahiro Inuiguchi, Roman Slowinski	Fuzzy Rough Sets and Multiple-Premise Gradual Decision Rules.	WILF	2003	DBLP DOI BibTeX RDF
12	Jürgen Giesl, Armin Kühnemann, Janis Voigtländer	Deaccumulation - Improving Provability.	ASIAN	2003	DBLP DOI BibTeX RDF
12	Angela Y. N. Yip, Hepu Deng	A Case-Based Reasoning Approach to Business Failure Prediction.	KES	2003	DBLP DOI BibTeX RDF
12	E. V. Krishnamurthy	Problems and Prospects for Quantum Computational Speed-up.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Kristoffer Jensen, Tue Haste Andersen	Real-Time Beat Estimation Using Feature Extraction.	CMMR	2003	DBLP DOI BibTeX RDF
12	Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky	An Equational Theory for Transactions.	FSTTCS	2003	DBLP DOI BibTeX RDF
12	Rattikorn Hewett, John H. Leuchner	Knowledge Discovery with Second-Order Relations.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	Boolean function minimization, Data mining, Machine learning, Database theory
12	Shusaku Tsumoto	Mining Hierarchical Decision Rules from Clinical Databases Using Rough Sets aaand Medical Diagnostic Model.	PKDD	2002	DBLP DOI BibTeX RDF
12	Gilles Barthe, Pierre Courtieu	Efficient Reasoning about Executable Specifications in Coq.	TPHOLs	2002	DBLP DOI BibTeX RDF
12	Amy P. Felty	Two-Level Meta-reasoning in Coq.	TPHOLs	2002	DBLP DOI BibTeX RDF
12	Shusaku Tsumoto	Automated Discovery of Decision Rule Chains Using Rough Sets and Medical Diagnostic Model.	ISMIS	2002	DBLP DOI BibTeX RDF
12	Brendon Cahoon, Kathryn S. McKinley	Simple and effective array prefetching in Java.	Java Grande	2002	DBLP DOI BibTeX RDF	array prefetching, Java, static analysis, memory optimization
12	Marina Guetova, Steffen Hölldobler, Hans-Peter Störr	Incremental Fuzzy Decision Trees.	KI	2002	DBLP DOI BibTeX RDF	classification, fuzzy logic, decision trees, incremental learning
12	Max Bramer	Using J-Pruning to Reduce Overfitting of Classification Rules in Noisy Domains.	DEXA	2002	DBLP DOI BibTeX RDF
12	Petra Perner, Horst Perner, Bernd Müller	Texture Classification Based on the Boolean Model and its Application to Hep-2 Cells.	ICPR (2)	2002	DBLP DOI BibTeX RDF
12	Vili Podgorelec, Peter Kokol, Milojka Molan Stiglic	Searching for ew Patterns in Cardiovascular Data.	CBMS	2002	DBLP DOI BibTeX RDF
12	Lawrence C. Paulson	The Reflection Theorem: A Study in Meta-theoretic Reasoning.	CADE	2002	DBLP DOI BibTeX RDF
12	Kalyani K. Manchi, Xindong Wu 0001	Dynamic Refinement of Classification Rules.	ICTAI	2002	DBLP DOI BibTeX RDF
12	Jürgen Zimmer, Louise A. Dennis	Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.	AISC	2002	DBLP DOI BibTeX RDF
12	Jun (Jim) Xu	A Unified Proof of Minimum Time Complexity for Reaching Consensus and Uniform Consensus - An Oracle-Based Approach.	SRDS	2002	DBLP DOI BibTeX RDF	uniform consensus, fault tolerance, lower bounds, Consensus
12	Jan P. Grzymala-Busse, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe	Melanoma Prediction Using Data Mining System LERS.	COMPSAC	2001	DBLP DOI BibTeX RDF	Melanoma, skin cancer, ABCD formula, TDS, data mining system LERS, algorithm LEM2
12	R. Narayanan, S. Neethi	Building Software Engineering Professionals: TCS Experience.	CSEE&T	2001	DBLP DOI BibTeX RDF
12	Andrew M. Pitts	A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.	ICFP	2001	DBLP DOI BibTeX RDF
12	Smaranda Muresan, Tudor Muresan, Rodica Potolea	Data Flow Coherence Criteria in ILP Tools.	ICTAI	2001	DBLP DOI BibTeX RDF	Data Flow Coherence Criteria, Pruning the Search Space, Inductive Logic Programming, Automatic Program Generation
12	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
12	Michaël Rusinowitch	Rewriting for Deduction and Verification.	RTA	2001	DBLP DOI BibTeX RDF
12	Santiago Ontañón, Enric Plaza	Learning When to Collaborate among Learning Agents.	ECML	2001	DBLP DOI BibTeX RDF
12	Jinyan Li 0001, Kotagiri Ramamohanarao, Guozhu Dong	Combining the Strength of Pattern Frequency and Distance for Classification.	PAKDD	2001	DBLP DOI BibTeX RDF	neighbourhood, classification, outlier, emerging patterns
12	Takuya Wada, Hiroshi Motoda, Takashi Washio	Knowledge Acquisition from Both Human Expert and Data.	PAKDD	2001	DBLP DOI BibTeX RDF
12	Matthias Baaz, Georg Moser	On a Generalisation of Herbrand's Theorem.	CSL	2001	DBLP DOI BibTeX RDF
12	Luigi Galavotti, Fabrizio Sebastiani 0001, Maria Simi	Experiments on the Use of Feature Selection and Negative Evidence in Automated Text Categorization.	ECDL	2000	DBLP DOI BibTeX RDF
12	Conor McBride	Elimination with a Motive.	TYPES	2000	DBLP DOI BibTeX RDF
12	Jeff Bowes, Eric Neufeld, Jim E. Greer, John Cooke	A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data.	AI	2000	DBLP DOI BibTeX RDF
12	Konrad Slind	Wellfounded Schematic Definitions.	CADE	2000	DBLP DOI BibTeX RDF
12	David A. Duffy, Ian Toyn	Reasoning Inductively about Z Specifications via Unification.	ZB	2000	DBLP DOI BibTeX RDF
12	Hsiangchu Lai, Tzyy-Ching Yang	A Group-based Inference Approach to Customized Marketing on the Web - Integrating Clustering and Association Rules Techniques.	HICSS	2000	DBLP DOI BibTeX RDF
12	Regis Pinheiro Landim, Benjamin Rodrigues de Menezes, Selênio R. Silva, Walmir M. Caminhas	On-Line Neo-Fuzzy-Neuron State Observer.	SBRN	2000	DBLP DOI BibTeX RDF
12	Henk Doornbos, Roland Carl Backhouse	Algebra of Program Termination.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
12	Fiora Pirri, Raymond Reiter	Some Contributions to the Metatheory of the Situation Calculus.	J. ACM	1999	DBLP DOI BibTeX RDF	programming languages for the situation calculus, theorem-proving, regression, situation calculus
12	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.	CAV	1999	DBLP DOI BibTeX RDF
12	Alípio Jorge, Alneu de Andrade Lopes	Iterative Part-of-Speech Tagging.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
12	Tapio Elomaa	The Biases of Decision Tree Pruning Strategies.	IDA	1999	DBLP DOI BibTeX RDF
12	Laura Firoiu, Paul R. Cohen	Learning Elements of Representations for Redescribing Robot Experiences.	IDA	1999	DBLP DOI BibTeX RDF
12	Dimitrios Kalles, Athanassios Papagelis	Controlled Flux Results in Stable Decision Trees.	ICTAI	1999	DBLP DOI BibTeX RDF	stability, decision tree, incremental learning, speed-up
12	Nada Lavrac, Peter A. Flach, Blaz Zupan	Rule Evaluation Measures: A Unifying View.	ILP	1999	DBLP DOI BibTeX RDF
12	Shusaku Tsumoto	Automated Discovery of Plausible Rules Based on Rough Sets and Rough Inclusion.	PAKDD	1999	DBLP DOI BibTeX RDF
12	Honghua Dai 0001	A Minimal Causal Model Learner.	PAKDD	1999	DBLP DOI BibTeX RDF	causal discovery, data mining, machine learning, artificial intelligence, knowledge acquisition, Minimal model
12	Thorsten Altenkirch, Bernhard Reus	Monadic Presentations of Lambda Terms Using Generalized Inductive Types.	CSL	1999	DBLP DOI BibTeX RDF	inductive types, Type Theory, category theory, ?-calculus
12	Thierry Coquand, Henrik Persson	Gröbner Bases in Type Theory.	TYPES	1998	DBLP DOI BibTeX RDF
12	Emmanuelle Martienne, Mohamed Quafafou	Learning Logical Descriptions for Document Understanding: A Rough Sets-Based Approach.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF