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 |
|