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

(1)

<< < 1 > >>

The F L I P System
to analytical_ip experiment flip iflp induction inductive_programming ip-system machine_learning program_synthesis by emanuel on Apr 21, 2008, 7:32 PM
(0)

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

RSS BibTeX RDF more

publications

(31)

<< < 1 | 2 > >>

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)
Speeding up the Synthesis of Programs from Traces
A.W. Biermann, R.I. Baum, and F.E. Petry IEEE Transactions on Computers 24(2):122--136 (1975)
to analytical_ip enumerative_ip induction inductive_programming program_synthesis synthesis_from_traces by emanuel and 1 other user on Apr 21, 2010, 10:07 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)
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Emanuel Kitzelmann, and Ute Schmid Electronic Notes in Theoretical Computer Science 174(1):49--63 (2007)
to analytical_ip article constructor_systems igor2 induction inductive_programming program_synthesis rule-based_programming by emanuel and 2 other users on Jun 21, 2009, 3:29 PM
URL | 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)
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)
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)
Characterization of a Class of Functions Synthesized from Examples by a Summers like method using a `B.M.W.' Matching Technique
J. P. Jouannaud, and Y. Kodratoff Sixth International Joint Conference on Artificial Intelligence IJCAI'79, page 440--447. Morgan Kaufmann, (1979)
to analytical_ip ifp induction inductive_programming program_synthesis synthesis_from_traces by emanuel on May 26, 2009, 5:42 PM
BibTeX (0)
Program Synthesis from Examples of Behavior
Jean-Pierre Jouannaud, and Yves Kodratoff Computer Program Synthesis Methodologies, D. Reidel Publ. Co., (1983)
to analytical_ip ifp induction inductive_programming program_synthesis by emanuel on May 26, 2009, 5:40 PM
BibTeX (0)
Efficient Induction of Recursive Definitions by Structural Analysis of Saturations
Peter Idestam-Almquist Advances in Inductive Logic Programming, IOS Press, (1996)
to analytical_ip ilp inductive_programming ip-system program_synthesis recursion tim by emanuel on Dec 30, 2008, 2:43 PM
BibTeX (0)
Inductive Logic Program Synthesis with DIALOGS
Pierre Flener Selected Papers of the 6th International Workshop on Inductive Logic Programming, ILP'96, volume 1314 of LNCS, page 175--198. (1997)
to analytical_ip dialogs ilp inductive_programming ip-system program_synthesis recursion by emanuel on Dec 27, 2008, 6:13 PM
URL | BibTeX (0)

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

a gripper