BibSonomy :: user  :: mh ::

bookmarks

publications

(10)   

• Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume2385ofLNCS, page337--354. Springer-Verlag, (2002)
  to inductive_program_synthesis inductive_inference programming inductive_functional_programming igor1 myown inductive_programming 2002 inproceedings recursive_program_schemes inductive induction automatic_programming published functional_programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
  Emanuel Kitzelmann and Ute Schmid Electronic Notes in Theoretical Computer Science174(1):49--63#apr#2007.
  to inductive_program_synthesis inductive inductive_programming functional_programming published programming inductive_inference 2007 igor2 induction rule-based_programming article constructor_systems myown automatic_programming by mh and 2 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
  Emanuel Kitzelmann (2003)
  to 2003 inductive myown igor1 mastersthesis programming inductive_inference functional_programming inductive_functional_programming recursive_program_schemes induction automatic_programming inductive_programming inductive_program_synthesis by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Folding of finite program terms to recursive program schemes
  Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, 1, page144--149 vol.1. (2002)
  to inductive_programming igor1 inproceedings inductive_functional_programming recursive_program_schemes programming automatic_programming 2002 inductive_program_synthesis myown functional_programming induction inductive inductive_inference published by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons
  Holger Bischof and Sergei Gorlatch and Emanuel Kitzelmann Parallel Computing Technologies, volume2763ofLNCS, page415--428. Springer-Verlag, (2003)
  to inproceedings parallel_programming published myown tridiagonal_system_solver skeletons 2003 parallel by mh and 2 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Cost Optimality And Predictability Of Parallel Programming with Skeletons
  Holger Bischof and Sergei Gorlatch and Emanuel Kitzelmann Parallel Processing Letters13(4):575--587(2003)
  to article published parallel parallel_programming skeletons programming 2003 myown by mh and 4 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Grundlegende Ansätze zur Induktiven Synthese Funktionaler Programme (Summers und Biermann)
  Emanuel Kitzelmann (2001)
  to inductive_inference functional_programming programming inductive inductive_functional_programming 2001 induction automatic_programming myown inductive_programming inductive_program_synthesis term_paper by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Induction of Functional Programs based on Relations between I/O Examples
  Emanuel Kitzelmann and Ute Schmid (2006) poster abstract .
  to functional_programming extended_abstract inductive automatic_programming inductive_programming myown inductive_inference igor2 programming 2006 induction inductive_program_synthesis inductive_functional_programming constructor_systems by mh and 1 other person on Oct 17, 2007, 3:28 PM
  BibTeX 
• Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
  Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research(2006)
  to myown inductive inductive_inference programming igor1 functional_programming inductive_functional_programming inductive_learning article induction explanation-based_generalization 2006 inductive_program_synthesis recursive_program_schemes automatic_programming published inductive_programming by mh and 3 other people on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, page15--27. (2005)
  to myown inductive_program_synthesis programming machine_learning igor1 inductive_inference inductive automatic_programming induction recursive_program_schemes inductive_learning inproceedings inductive_programming 2005 ebg functional_programming inductive_functional_programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX