sign in · help · news · about ·

BibSonomy :: user :: emanuel ::

tag user group author concept BibTeX key search:all search:emanuel

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

(3)

<< < 1 > >>

MagicHaskeller: A Search-based Inductive Functional Programming System
to MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming ip-system program_synthesis by emanuel and 1 other user on Apr 21, 2008, 7:51 PM
(0)
The ADATE System
homepage of roland olsson's ADATE inductive programming system
to adate ifp inductive_programming olsson program_synthesis by emanuel on Dec 19, 2007, 2:56 PM
(0)
Otto-Friedrich-Universität Bamberg: Kitzelmann
emanuel's university homepage
to bamberg emanuel ifp igor1 igor2 inductive_programming kitzelmann program_synthesis by emanuel on Dec 19, 2007, 2:54 PM
(0)

<< < 1 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(53)

<< < 1 | 2 | 3 > >>

Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach
Emanuel Kitzelmann Technische Universität Berlin, Diplomarbeit, (2003)Unpublished .
to analytical_ip ifp igor1 induction inductive_programming mastersthesis program_synthesis recursive_program_schemes by emanuel and 1 other user on Apr 21, 2010, 10:36 PM
URL | BibTeX (0)
Induction of Functional Programs based on Relations between I/O Examples
Emanuel Kitzelmann, and Ute Schmid (2006)Poster abstract at the German Conference on Artificial Intelligence .
to analytical_ip constructor_systems extended_abstract ifp igor2 induction inductive_programming program_synthesis by emanuel and 1 other user on Apr 21, 2010, 10:14 PM
BibTeX (0)
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
Emanuel Kitzelmann, and Ute Schmid Journal of Machine Learning Research (2006)Revised version of~KiSc05 .
to analytical_ip article ebg ifp igor1 induction inductive_programming program_synthesis recursive_program_schemes by emanuel and 2 other users on Apr 21, 2010, 10:13 PM
URL | BibTeX (0)
The Hierarchical Synthesis of LISP Scanning Programs
A. W. Biermann, and D. R. Smith Information Processing 77, page 41--45. Amsterdam, North-Holland Publishing, (1977)
to analytical_ip ifp induction inductive_programming program_synthesis by emanuel and 1 other user on Apr 21, 2010, 10:04 PM
BibTeX (0)
A Production Rule Mechanism for Generating LISP Code
Alan W. Biermann, and Douglas R. Smith IEEE Transactions on Systems, Man, and Cybernetics 9(5):260--276 (1979)
to analytical_ip ifp induction inductive_programming program_synthesis by emanuel on Apr 21, 2010, 10:03 PM
URL | BibTeX (0)
Automatic Program Synthesis from Example Problems
L. Siklossy, and D. A. Sykes International Joint Conference on Artificial Intelligence IJCAI'75, page 268--273. (1975)
to ifp induction inductive_programming lisp pre-summers program_synthesis by emanuel on Apr 21, 2010, 9:55 PM
URL | BibTeX (0)
Inferring LISP Programs from Examples
D. Shaw, W. Swartout, and C. Green International Joint Conference on Artificial Intelligence IJCAI'75, page 260--267. (1975)
to ifp induction inductive_programming lisp pre-summers program_synthesis by emanuel on Apr 21, 2010, 9:54 PM
URL | BibTeX (0)
Synthesis of LISP Functions from Examples
S. Hardy International Joint Conference on Artificial Intelligence IJCAI'75, page 240--245. (1975)
to ifp induction inductive_programming lisp pre-summers program_synthesis by emanuel and 1 other user on Apr 21, 2010, 9:54 PM
URL | BibTeX (0)
Inductive Program Synthesis: From Theory to Application
Ute Schmid, Emanuel Kitzelmann, and Fritz Wysotzki Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen FGML 2002, page 135--141. (2002)
to ifp induction inductive_programming inproceedings machine_learning program_synthesis recursive_program_schemes by emanuel and 1 other user on Jun 21, 2009, 3:27 PM
BibTeX (0)
Folding of Finite Program Terms to Recursive Program Schemes
Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, and Fritz Wysotzki First International IEEE Symposium on Intelligent Systems IS 2002, 1, page 144--149. IEEE, (2002)
to analytical_ip ifp igor1 induction inductive_programming inproceedings program_synthesis recursive_program_schemes by emanuel and 1 other user on Jun 21, 2009, 3:26 PM
URL | BibTeX (0)
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
Emanuel Kitzelmann, and Ute Schmid ICML-2005 Workshop on Approaches and Applications of Inductive Programming, page 15--27. (2005)
to analytical_ip ebg ifp igor1 induction inductive_programming inproceedings machine_learning program_synthesis recursive_program_schemes by emanuel and 1 other user on Jun 21, 2009, 3:19 PM
URL | BibTeX (0)
Proceedings of the ICML-2005 Workshop on Approaches and Applications of Inductive Programming
Emanuel Kitzelmann, Roland Olsson, and Ute Schmid (Eds.). (2005)
to ifp ilp induction inductive_programming machine_learning proceedings program_synthesis by emanuel on Jun 21, 2009, 3:17 PM
URL | BibTeX (0)
Data-Driven Induction of Recursive Functions from Input/Output-Examples
Emanuel Kitzelmann ECML/PKDD-2007 Workshop on Approaches and Applications of Inductive Programming, page 15--26. (2007)
to analytical_ip constructor_systems ifp igor2 induction inductive_programming inproceedings program_synthesis by emanuel and 1 other user on Jun 21, 2009, 3:02 PM
BibTeX (0)
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems
Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, and Ute Schmid KI 2007: Advances in Artificial Intelligence, volume 4667 of LNAI, page 468--472. Springer-Verlag, (2007)
to adate atre comparison dialogs experiment ifp ilp induction inductive_programming inproceedings program_synthesis by emanuel on Jun 20, 2009, 9:15 PM
URL | BibTeX (0)
Grundlegende Ansätze zur Induktiven Synthese Funktionaler Programme Summers und Biermann
Emanuel Kitzelmann (2001)
to analytical_ip ifp induction inductive_programming program_synthesis term_paper by emanuel and 1 other user on Jun 20, 2009, 8:44 PM
URL | BibTeX (0)
Inductive Synthesis of Functional Programs
Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, and Fritz Wysotzki Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume 2385 of LNCS, page 337--354. Springer-Verlag, (2002)
to analytical_ip ifp igor1 induction inductive_programming inproceedings program_synthesis recursive_program_schemes by emanuel and 1 other user on Jun 20, 2009, 6:43 PM
URL | BibTeX (0)
Data-driven Induction of Functional Programs
Emanuel Kitzelmann ECAI 2008, 18th European Conference on Artificial Intelligence, Proceedings, volume 178 of Frontiers in Artificial Intelligence and Applications, page 781--782. Amsterdam, Netherlands, IOS Press, (2008)
to analytical_ip constructor_systems extended_abstract ifp igor2 induction inductive_programming inproceedings program_synthesis by emanuel and 1 other user on Jun 20, 2009, 5:53 PM
BibTeX (0)
Analytical Inductive Functional Programming
Emanuel Kitzelmann 18th International Symposium on Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 5438 of LNCS, page 87--102. Springer-Verlag, (2009)
to analytical_ip constructor_systems ifp igor2 induction inductive_programming inproceedings program_synthesis by emanuel on Jun 20, 2009, 5:51 PM
BibTeX (0)
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
Martin Hofmann, Emanuel Kitzelmann, and Ute Schmid German Conference on Artificial Intelligence KI'08, volume 5243 of LNAI, page 78--86. Springer-Verlag, (2008)
to analytical_ip enumerative_ip experiment haskell higher-order_functions iflp ifp igor2 ilp induction inductive_programming inproceedings machine_learning overview program_synthesis by emanuel on Jun 20, 2009, 4:54 PM
BibTeX (0)
A Sane Algorithm for the Synthesis of LISP Functions from Example Problems: The Boyer and Moore Algorithm
Y. Kodratoff, and J. Fargues Proceedings of the AISB/GI Conference on Artificial Intelligence, page 169--175. Hamburg, AISB and GI, (1978)
to analytical_ip ifp induction inductive_programming lisp program_synthesis by emanuel on May 26, 2009, 5:45 PM
BibTeX (0)

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper