Search results for "ML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Stefan Kahrs	Limits of ML-Definability.	PLILP	1996	DBLP DOI BibTeX RDF	completeness, ML, polymorphism, recursion, definability
1	Manuel Serrano	Control flow analysis: a functional languages compilation paradigm.	SAC	1995	DBLP DOI BibTeX RDF	closure analysis, compilation, ML, scheme, SCHEME, control flow analysis
1	Robert Harper 0001, J. Gregory Morrisett	Compiling Polymorphism Using Intensional Type Analysis.	POPL	1995	DBLP DOI BibTeX RDF	ML
1	Peter R. Bailey, Malcolm C. Newey, David Sitsky, Robin B. Stanton	Supporting Coarse and Fine Grain Parallelism in an Extension of ML.	CONPAR	1994	DBLP DOI BibTeX RDF	parallel granularity, processes, ML, data parallelism, algorithmic skeletons
1	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	An Analysis of ML Typability.	J. ACM	1994	DBLP DOI BibTeX RDF	acyclic semi-unification, semi-unification, ML
1	Hsianlin Dzeng, Christopher T. Haynes	Type Reconstruction for Variable-Arity Procedures.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
1	Andrew P. Tolmach	Tag-Free Garbage Collection Using Explicit Type Parameters.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
1	A. J. Kfoury, J. B. Wells	A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
1	Nevin Heintze	Set-Based Analysis of ML Programs.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
1	James W. O'Toole Jr., Scott Nettles	Concurrent Replicating Garbage Collection.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
1	Edoardo Biagioni	A Structured TCP in Standard ML.	SIGCOMM	1994	DBLP DOI BibTeX RDF	ML
1	Andrew W. Appel, David B. MacQueen	Separate Compilation for Standard ML.	PLDI	1994	DBLP DOI BibTeX RDF	ML
1	Robert Harper 0001, John C. Mitchell	On the Type Structure of Standard ML.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	ML
1	Atsushi Ohori, Kazuhiko Kato	Semantics for Communication Primitives in an Polymorphic Language.	POPL	1993	DBLP DOI BibTeX RDF	ML
1	Xavier Leroy	Polymorphism by Name for References and Continuations.	POPL	1993	DBLP DOI BibTeX RDF	ML
1	Zhong Shao, Andrew W. Appel	Smartest Recompilation.	POPL	1993	DBLP DOI BibTeX RDF	ML
1	Rhys Price Jones, Doug Cooper, Daniel P. Friedman, Richard C. Holt, Peter Robinson 0001	Issues in the choice of programming language for CS 1 (abstract).	SIGCSE	1993	DBLP DOI BibTeX RDF	ML, SCHEME
1	Dorai Sitaram	Handling Control.	PLDI	1993	DBLP DOI BibTeX RDF	ML, SCHEME
1	Lorenz Huelsbergen, James R. Larus	A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data.	PPoPP	1993	DBLP DOI BibTeX RDF	ML
1	Stephen H. Muggleton, Ashwin Srinivasan 0001, Michael Bain 0001	Compression, Significance, and Accuracy.	ML	1992	DBLP DOI BibTeX RDF
1	Hussein Almuallim, Thomas G. Dietterich	On Learning More Concepts.	ML	1992	DBLP DOI BibTeX RDF
1	Jan M. Zytkow, Jieming Zhu, Robert Zembowicz	The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments.	ML	1992	DBLP DOI BibTeX RDF
1	Tom Fawcett, Paul E. Utgoff	Automatic Feature Generation for Problem Solving Systems.	ML	1992	DBLP DOI BibTeX RDF
1	Devika Subramanian, Scott B. Hunter	Measuring Utility and the Design of Provably Good EBL Algorithms.	ML	1992	DBLP DOI BibTeX RDF
1	Cullen Schaffer	Deconstructing the Digit Recognition Problem.	ML	1992	DBLP DOI BibTeX RDF
1	Elizabeth I. Hogger, Krysia Broda	The MENTLE Approach to Learning Heuristics for the Control of Logic Programs.	ML	1992	DBLP DOI BibTeX RDF
1	Gilles Venturini	AGIL: Solving the Exploration Versus Exploration Dilemma in a single Classifier System Applied to Simulated Robotics.	ML	1992	DBLP DOI BibTeX RDF
1	Peter C.-H. Cheng, Herbert A. Simon	The Right Representation for Discovery: Finding the Conservation of Momentum.	ML	1992	DBLP DOI BibTeX RDF
1	Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli	Constructive Induction Using a Non-Greedy Strategy for Feature Selection.	ML	1992	DBLP DOI BibTeX RDF
1	Gerald Tesauro	Temporal Difference Learning of Backgammon Strategy.	ML	1992	DBLP DOI BibTeX RDF
1	Wayne Iba, Pat Langley	Induction of One-Level Decision Trees.	ML	1992	DBLP DOI BibTeX RDF
1	Andrew McCallum	Using Transitional Proximity for Faster Reinforcement Learning.	ML	1992	DBLP DOI BibTeX RDF
1	Christian W. Omlin, C. Lee Giles	Training Second-Order Recurrent Neural Networks using Hints.	ML	1992	DBLP DOI BibTeX RDF
1	Derek H. Sleeman, Peter Edwards (eds.)	Proceedings of the Ninth International Workshop on Machine Learning (ML 1992), Aberdeen, Scotland, UK, July 1-3, 1992	ML	1992	DBLP DOI BibTeX RDF
1	Neeraj Bhatnagar	Learning by Incomplete Explanation-Based Learning.	ML	1992	DBLP DOI BibTeX RDF
1	Jonathan Gratch, Gerald DeJong	An Analysis of Learning to Plan as a Search Problem.	ML	1992	DBLP DOI BibTeX RDF
1	Thierry Van de Merckt	NFDT: A System that Learns Flexible Concepts Based on Decision Trees for Numerical Attributes.	ML	1992	DBLP DOI BibTeX RDF
1	Ashvin Radiya, Jan M. Zytkow	A Framework for Discovering Discrete Event Models.	ML	1992	DBLP DOI BibTeX RDF
1	Pang C. Chen	Improving Path Planning with Learning.	ML	1992	DBLP DOI BibTeX RDF
1	Satinder P. Singh	Scaling Reinforcement Learning Algorithms by Learning Variable Temporal Resolution Models.	ML	1992	DBLP DOI BibTeX RDF
1	Chengjiang Mao	THOUGHT: An Integrated Learning System for Acquiring Knowledge Structure.	ML	1992	DBLP DOI BibTeX RDF
1	Cezary Z. Janikow	Combining Competition and Cooperation in Supervised Inductive Learning.	ML	1992	DBLP DOI BibTeX RDF
1	Alberto Maria Segre	On Combining Multiple Speedup Techniques.	ML	1992	DBLP DOI BibTeX RDF
1	Darrell Conklin, Janice I. Glasgow	Spatial Analogy and Subsumption.	ML	1992	DBLP DOI BibTeX RDF
1	Lawrence B. Holder, Diane J. Cook, Horst Bunke	Fuzzy Substructure Discovery.	ML	1992	DBLP DOI BibTeX RDF
1	Jerzy W. Bala, Ryszard S. Michalski, Janusz Wnek	The Principal Axes Method for Constructive Induction.	ML	1992	DBLP DOI BibTeX RDF
1	Stephane Lapointe, Stan Matwin	Sub-unification: A Tool for Efficient Induction of Recursive Programs.	ML	1992	DBLP DOI BibTeX RDF
1	Ray J. Hickey	Artificial Universes - Towards a Systematic Approach to Evaluation Algorithms which Learn form Examples.	ML	1992	DBLP DOI BibTeX RDF
1	John J. Grefenstette, Connie Loggia Ramsey	An Approach to Anytime Learning.	ML	1992	DBLP DOI BibTeX RDF
1	Oren Etzioni	An Asymptotic Analysis of Speedup Learning.	ML	1992	DBLP DOI BibTeX RDF
1	Oren Etzioni, Steven Minton	Why EBL Produces Overly-Specific Knowledge: A Critique of the PRODIGY Approaches.	ML	1992	DBLP DOI BibTeX RDF
1	David Ruby, Dennis F. Kibler	Learning Episodes for Optimization.	ML	1992	DBLP DOI BibTeX RDF
1	Cao Feng, Stephen H. Muggleton	Towards Inductive Generalization in Higher Order Logic.	ML	1992	DBLP DOI BibTeX RDF
1	Douglas H. Fisher, Ling Xu, Nazih Zard	Ordering Effects in Clustering.	ML	1992	DBLP DOI BibTeX RDF
1	M. Alicia Pérez, Oren Etzioni	DYNAMIC: A New Role for Training Problems in EBL.	ML	1992	DBLP DOI BibTeX RDF
1	Alan D. Christiansen	Learning to Predict in Uncertain Continuous Tasks.	ML	1992	DBLP DOI BibTeX RDF
1	Igor Kononenko 0001, Matevz Kovacic	Learning as Optimization: Stochastic Generation of Multiple Knowledge.	ML	1992	DBLP DOI BibTeX RDF
1	Yves Niquil	Guiding Example Acquisition by Generating Scenarios.	ML	1992	DBLP DOI BibTeX RDF
1	Jianping Zhang	Selecting Typical Instances in Instance-Based Learning.	ML	1992	DBLP DOI BibTeX RDF
1	Zdravko Markov	An Approach to Concept Learning Based on Term Generalization.	ML	1992	DBLP DOI BibTeX RDF
1	Kenji Kira, Larry A. Rendell	A Practical Approach to Feature Selection.	ML	1992	DBLP DOI BibTeX RDF
1	David W. Aha	Generalizing from Case studies: A Case Study.	ML	1992	DBLP DOI BibTeX RDF
1	Padhraic Smyth, Jeff Mellstrom	Detecting Novel Classes with Applications to Fault Diagnosis.	ML	1992	DBLP DOI BibTeX RDF
1	Philip Laird	Dynamic Optimization.	ML	1992	DBLP DOI BibTeX RDF
1	Attilio Giordana, Claudio Sale	Learning Structured Concepts Using Genetic Algorithms.	ML	1992	DBLP DOI BibTeX RDF
1	Claudio Carpineto	Trading Off Consistency and Efficiency in version-Space Induction.	ML	1992	DBLP DOI BibTeX RDF
1	Jerry B. Weinberg, Gautam Biswas, Glenn R. Koller	Conceptual Clustering with Systematic Missing Values.	ML	1992	DBLP DOI BibTeX RDF
1	Daniel S. Hirschberg, Michael J. Pazzani	Average Case Analysis of Learning kappa-CNF Concepts.	ML	1992	DBLP DOI BibTeX RDF
1	Claude Sammut, Scott Hurst, Dana Kedzier, Donald Michie	Learning to Fly.	ML	1992	DBLP DOI BibTeX RDF
1	Peter Clark, Robert C. Holte	Lazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation.	ML	1992	DBLP DOI BibTeX RDF
1	Sridhar Mahadevan	Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions.	ML	1992	DBLP DOI BibTeX RDF
1	Somkiat Tangkitvanich, Masamichi Shimura	Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts.	ML	1992	DBLP DOI BibTeX RDF
1	Michael T. Cox, Ashwin Ram 0001	Multistrategy Learning with Introspective Meta-Explanations.	ML	1992	DBLP DOI BibTeX RDF
1	Gheorghe Tecuci	Cooperation in Knowledge Base Refinement.	ML	1992	DBLP DOI BibTeX RDF
1	Marjorie Moulet	A Symbolic Algorithm for Computing Coefficients' Accuracy in Regression.	ML	1992	DBLP DOI BibTeX RDF
1	Lawrence Hunter, Nomi L. Harris, David J. States	Efficient Classification of Massive, Unsegmented Datastreams.	ML	1992	DBLP DOI BibTeX RDF
1	Jeffery A. Clouse, Paul E. Utgoff	A Teaching Method for Reinforcement Learning.	ML	1992	DBLP DOI BibTeX RDF
1	Jason Catlett	Peepholing: Choosing Attributes Efficiently for Megainduction.	ML	1992	DBLP DOI BibTeX RDF
1	Timothy M. Converse, Kristian J. Hammond	Learning to Satisfy Conjunctive Goals.	ML	1992	DBLP DOI BibTeX RDF
1	Rey-Long Liu, Von-Wun Soo	Augmenting and Efficiently Utilizing Domain Theory in Explanation-Based Natural Language Acquisition.	ML	1992	DBLP DOI BibTeX RDF
1	Didier Rémy	Typing Record Concatenation for Free.	POPL	1992	DBLP DOI BibTeX RDF	ML
1	Dave Berry, Robin Milner, David N. Turner	A Semantics for ML Concurrency Primitives.	POPL	1992	DBLP DOI BibTeX RDF	ML
1	Roberto Di Cosmo	Type Isomorphisms in a Type-Assignment Framework.	POPL	1992	DBLP DOI BibTeX RDF	ML
1	Xavier Leroy	Unboxed Objects and Polymorphic Typing.	POPL	1992	DBLP DOI BibTeX RDF	ML
1	Mads Tofte	Principal Signatures for Higher-Order Program Modules.	POPL	1992	DBLP DOI BibTeX RDF	ML
1	Didier Rémy	Projective ML.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
1	Daniel de Rauglaudre, Michel Mauny	Parsers in ML.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
1	Benjamin Goldberg, Michael Gloger	Polymorphic Type Reconstruction for Garbage Collection Without Tags.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
1	Luc Maranget	Compiling Lazy Pattern Matching.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
1	Lorenz Huelsbergen, James R. Larus	Dynamic Program Parallelization.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
1	Eric Cooper, Scott Nettles, Indira Subramanian	Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
1	Gheorghe Tecuci, Ryszard S. Michalski	A Method for Multistrategy Task-Adaptive Learning Based on Plausible Justifications.	ML	1991	DBLP DOI BibTeX RDF
1	J. Ross Quinlan	Determinate Literals in Inductive Logic Programming.	ML	1991	DBLP DOI BibTeX RDF
1	Larry Watanabe, Sudhakar Yerramareddy	Decision Tree Induction of 3-D Manufacturing Features.	ML	1991	DBLP DOI BibTeX RDF
1	Saso Dzeroski, Nada Lavrac	Learning Relations from Noisy Examples: An Empirical Comparison of LINUS and FOIL.	ML	1991	DBLP DOI BibTeX RDF
1	Scott W. Bennett, Gerald DeJong	Comparing Stochastic Planning to the Acquisition of Increasingly Permissive Plans.	ML	1991	DBLP DOI BibTeX RDF
1	Glenn Silverstein, Michael J. Pazzani	Relational Clichés: Constraining Induction During Relational Learning.	ML	1991	DBLP DOI BibTeX RDF
1	Gautam Biswas, Jerry B. Weinberg, Qian Yang, Glenn R. Koller	Conceptual Clustering and Exploratory Data Analysis.	ML	1991	DBLP DOI BibTeX RDF
1	Hamid R. Berenji	Refinement of Approximate Reasoning-based Controllers by Reinforcement Learning.	ML	1991	DBLP DOI BibTeX RDF
1	C. David Page Jr., Alan M. Frisch	Learning Constrained Atoms.	ML	1991	DBLP DOI BibTeX RDF