The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ML"( http://dblp.L3S.de/Venues/ML )

URL (DBLP): http://dblp.uni-trier.de/db/conf/icml

Publication years (Num. hits)
1988 (49) 1989 (129) 1990 (50) 1991 (128) 1992 (61) 2006-2007 (22) 2008 (11)
Publication types (Num. hits)
inproceedings(445) proceedings(5)
Venues (Conferences, Journals, ...)
ML(450)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 106 occurrences of 74 keywords

Results
Found 450 publication records. Showing 450 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jean-Christophe Filliâtre A functional implementation of the garsia--wachs algorithm: (functional pearl). Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF garsia-wachs algorithm, optimum binary trees, applicative programming, zipper
1Benjamin Canou, Vincent Balat, Emmanuel Chailloux O'browser: objective caml on browsers. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF virtual machine, javascript, web browsers, objective caml, document object model
1Eijiro Sumii (eds.) Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008 Search on Bibsonomy ML The full citation details ... 2008 DBLP  BibTeX  RDF
1Alec Heller, Jesse A. Tov Caml-Shcaml: an ocaml library for unix shell programming. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF shell programming, domain-specific languages, unix, types, objective caml
1Matthias Blume, Mike Rainey, John H. Reppy Calling variadic functions from a strongly-typed language. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compilers, interpreters, foreign-function interfaces
1Johan Nordlander, Magnus Carlsson, Andy Gill Unrestricted pure call-by-value recursion. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF value recursion, semantics, implementation, combinator libraries, call-by-value
1Pascal Cuoq, Damien Doligez Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml
1Luc Maranget Compiling pattern matching to good decision trees. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF match compilers, heuristics, decision trees
1Jérôme Vouillon Lwt: a cooperative thread library. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF networking, concurrency, programming, implementation, ml, thread, monad, objective caml
1Andrew Kennedy Types for units-of-measure in f#: invited talk. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dimension types, polymorphic type inference, ml
1Sam Lindley Many holes in hindley-milner. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF indexed type, multi-holed context, phantom type, value restriction, dependent type
1Jeremy Yallop Practical generic programming in OCaml. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generic programming, deriving, OCaml
1David Herman, Cormac Flanagan Status report: specifying javascript with ML. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF definitional interpreters, JavaScript, standard ML
1Tyng-Ruey Chuang, Max Schäfer Status report: layered streaming XML processing with modules. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modular software, streaming XML processing, XML, functional programming, ML, modules
1Vesa A. J. Karvonen Generics for the working ML'er. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type-indexed values, ML, generic programming
1Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao Status report: the manticore project. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ML, concurrent languages, data-parallel languages
1Andreas Rossberg, Guido Tack, Leif Kornstaedt Status report: hot pickles, and how to serve them. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pickling, components, virtual machines, distributed programming, persistence, serialisation, marshalling
1Didier Rémy MLF for everyone (users, implementers, and designers). Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
1Jean-Vincent Loddo, Luca Saiu Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GUI, virtual machine, emulation, OCaml, static typing, user mode linux
1Sylvain Conchon, Jean-Christophe Filliâtre A persistent union-find data structure. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal verification, persistence, union-find
1Claudio V. Russo, Derek Dreyer (eds.) Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007 Search on Bibsonomy ML The full citation details ... 2007 DBLP  BibTeX  RDF
1George Kuan, David MacQueen Efficient type inference using ranked type variables. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algorithm W, compilers, functional programming, type inference, type checking, standard ML
1Benjamin S. Lerner, Dan Grossman, Craig Chambers Seminal: searching for ML type-error messages. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF seminal, type-inference, type-checking, objective Caml, error messages
1John H. Reppy Type-sensitive control-flow analysis. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ML, control-flow analysis
1Vincent Balat Ocsigen: typing web interaction with objective Caml. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF continuations, web programming, objective Caml
1Jean-Christophe Filliâtre Backtracking iterators. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF iteration, backtracking, persistent data structures
1Jean-Christophe Filliâtre, Sylvain Conchon Type-safe modular hash-consing. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hash-consing, data structures, sharing
1John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa Type-safe distributed programming for OCaml. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HashCaml, type-safe marshalling, objective Caml
1Stephen Weeks Whole-program compilation in MLton. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Don Syme Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF GPUs, functional programming, reflection, domain specific languages, meta-programming, database languages, LINQ
1Andrew Kennedy, François Pottier (eds.) Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006 Search on Bibsonomy ML The full citation details ... 2006 DBLP  BibTeX  RDF
1David Swasey, Tom Murphy VII, Karl Crary, Robert Harper 0001 A separate compilation extension to standard ML. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF types, standard ml, separate compilation, incremental compilation
1Tom Murphy VII ML grid programming with ConCert. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF grid computing, compilers, distributed computing, functional programming, certified code
1Cullen Schaffer Deconstructing the Digit Recognition Problem. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Andrew McCallum Using Transitional Proximity for Faster Reinforcement Learning. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli Constructive Induction Using a Non-Greedy Strategy for Feature Selection. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Philip Laird Dynamic Optimization. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Jonathan Gratch, Gerald DeJong An Analysis of Learning to Plan as a Search Problem. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Igor Kononenko, Matevz Kovacic Learning as Optimization: Stochastic Generation of Multiple Knowledge. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Zdravko Markov An Approach to Concept Learning Based on Term Generalization. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Jianping Zhang Selecting Typical Instances in Instance-Based Learning. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1David Ruby, Dennis F. Kibler Learning Episodes for Optimization. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Gerald Tesauro Temporal Difference Learning of Backgammon Strategy. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Devika Subramanian, Scott Hunter Measuring Utility and the Design of Provably Good EBL Algorithms. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Peter Clark, Robert C. Holte Lazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1David W. Aha Generalizing from Case studies: A Case Study. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Rey-Long Liu, Von-Wun Soo Augmenting and Efficiently Utilizing Domain Theory in Explanation-Based Natural Language Acquisition. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Lawrence Hunter, Nomi L. Harris, David J. States Efficient Classification of Massive, Unsegmented Datastreams. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Marjorie Moulet A Symbolic Algorithm for Computing Coefficients' Accuracy in Regression. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Cezary Z. Janikow Combining Competition and Cooperation in Supervised Inductive Learning. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Jan M. Zytkow, Jieming Zhu, Robert Zembowicz The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1M. Alicia Pérez, Oren Etzioni DYNAMIC: A New Role for Training Problems in EBL. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Padhraic Smyth, Jeff Mellstrom Detecting Novel Classes with Applications to Fault Diagnosis. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Claudio Carpineto Trading Off Consistency and Efficiency in version-Space Induction. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1John J. Grefenstette, Connie Loggia Ramsey An Approach to Anytime Learning. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Claude Sammut, Scott Hurst, Dana Kedzier, Donald Michie Learning to Fly. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Oren Etzioni, Steven Minton Why EBL Produces Overly-Specific Knowledge: A Critique of the PRODIGY Approaches. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Peter C.-H. Cheng, Herbert A. Simon The Right Representation for Discovery: Finding the Conservation of Momentum. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Jeffery A. Clouse, Paul E. Utgoff A Teaching Method for Reinforcement Learning. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Oren Etzioni An Asymptotic Analysis of Speedup Learning. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Daniel S. Hirschberg, Michael J. Pazzani Average Case Analysis of Learning kappa-CNF Concepts. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Thierry Van de Merckt NFDT: A System that Learns Flexible Concepts Based on Decision Trees for Numerical Attributes. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Gilles Venturini AGIL: Solving the Exploration Versus Exploration Dilemma in a single Classifier System Applied to Simulated Robotics. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Gheorghe Tecuci Cooperation in Knowledge Base Refinement. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Douglas H. Fisher, Ling Xu, Nazih Zard Ordering Effects in Clustering. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Alan D. Christiansen Learning to Predict in Uncertain Continuous Tasks. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Wayne Iba, Pat Langley Induction of One-Level Decision Trees. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Christian W. Omlin, C. Lee Giles Training Second-Order Recurrent Neural Networks using Hints. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Elizabeth I. Hogger, Krysia Broda The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Jason Catlett Peepholing: Choosing Attributes Efficiently for Megainduction. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Stephen Muggleton, Ashwin Srinivasan, Michael Bain Compression, Significance, and Accuracy. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Chengjiang Mao THOUGHT: An Integrated Learning System for Acquiring Knowledge Structure. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Alberto Maria Segre On Combining Multiple Speedup Techniques. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Hussein Almuallim, Thomas G. Dietterich On Learning More Concepts. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Attilio Giordana, Claudio Sale Learning Structured Concepts Using Genetic Algorithms. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Tom Fawcett, Paul E. Utgoff Automatic Feature Generation for Problem Solving Systems. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Yves Niquil Guiding Example Acquisition by Generating Scenarios. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Sridhar Mahadevan Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Ashvin Radiya, Jan M. Zytkow A Framework for Discovering Discrete Event Models. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Jerzy W. Bala, Ryszard S. Michalski, Janusz Wnek The Principal Axes Method for Constructive Induction. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Timothy M. Converse, Kristian J. Hammond Learning to Satisfy Conjunctive Goals. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Neeraj Bhatnagar Learning by Incomplete Explanation-Based Learning. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Michael T. Cox, Ashwin Ram Multistrategy Learning with Introspective Meta-Explanations. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Darrell Conklin, Janice I. Glasgow Spatial Analogy and Subsumption. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Somkiat Tangkitvanich, Masamichi Shimura Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Satinder P. Singh Scaling Reinforcement Learning Algorithms by Learning Variable Temporal Resolution Models. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Lawrence B. Holder, Diane J. Cook, Horst Bunke Fuzzy Substructure Discovery. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Ray J. Hickey Artificial Universes - Towards a Systematic Approach to Evaluation Algorithms which Learn form Examples. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Pang C. Chen Improving Path Planning with Learning. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Derek H. Sleeman, Peter Edwards (eds.) Proceedings of the Ninth International Workshop on Machine Learning (ML 1992), Aberdeen, Scotland, UK, July 1-3, 1992 Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Jerry B. Weinberg, Gautam Biswas, Glenn R. Koller Conceptual Clustering with Systematic Missing Values. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Kenji Kira, Larry A. Rendell A Practical Approach to Feature Selection. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Stephane Lapointe, Stan Matwin Sub-unification: A Tool for Efficient Induction of Recursive Programs. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Cao Feng, Stephen Muggleton Towards Inductive Generalization in Higher Order Logic. Search on Bibsonomy ML The full citation details ... 1992 DBLP  BibTeX  RDF
1Prasad Tadepalli Learning with Incrutable Theories. Search on Bibsonomy ML The full citation details ... 1991 DBLP  BibTeX  RDF
1Bruce Krulwich Learning from Deliberated Reactivity. Search on Bibsonomy ML The full citation details ... 1991 DBLP  BibTeX  RDF
1Michael A. Weintraub, Tom Bylander Generating Error Candidates for Assigning Blame in a Knowledge Base. Search on Bibsonomy ML The full citation details ... 1991 DBLP  BibTeX  RDF
1C. David Page Jr., Alan M. Frisch Learning Constrained Atoms. Search on Bibsonomy ML The full citation details ... 1991 DBLP  BibTeX  RDF
1Leonid V. Belyaev, Loretta P. Falcone Noise-Resistant Classification. Search on Bibsonomy ML The full citation details ... 1991 DBLP  BibTeX  RDF
1Kazuo Hiraki, John H. Gennari, Yoshinobu Yamamoto, Yuichiro Anzai Learning Spatial Relations from Images. Search on Bibsonomy ML The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 450 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license