http://www.bibsonomy.org/publrss/user/mh/myownBibSonomy RSS Feed for /user/mh/myownInductive Synthesis of Functional Programshttp://www.bibsonomy.org/bibtex/27b020d823e50128ba18a74591725f5e6/mhmh2007-10-17T15:28:39+02:00functional_programming myown published 2002 recursive_program_schemes programming inductive_program_synthesis inductive_inference induction inductive_functional_programming igor1 inductive automatic_programming inductive_programming inproceedings <span style="color:#555555;">Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> und Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a> und Martin <a href="http://www.bibsonomy.org/author/M{\&#034;u}hlpfordt">M&#252;hlpfordt</a> und Fritz <a href="http://www.bibsonomy.org/author/Wysotzki">Wysotzki</a> </span><em>AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, </em><em>Volume2385vonLNCS, </em><em>Seite337--354. </em><em>Springer-Verlag, </em>(<em>2002</em>)ScienceDirect - Electronic Notes in Theoretical Computer Science : Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularitieshttp://www.bibsonomy.org/bibtex/20f49c7d956f306d32d63b18f5a106022/mhmh2007-10-17T15:28:39+02:00functional_programming induction inductive_programming inductive_inference inductive constructor_systems igor2 rule-based_programming published programming myown 2007 article automatic_programming inductive_program_synthesis <span style="color:#555555;">Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> und Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a> </span><em>Electronic Notes in Theoretical Computer Science</em><em>174(1):49--63</em><em>#apr#2007. </em>emanuel kitzelmann's diploma thesishttp://www.bibsonomy.org/bibtex/294dbcbdc86ff6dc79f6954269526bb95/mhmh2007-10-17T15:28:39+02:00functional_programming inductive_program_synthesis inductive_programming inductive igor1 induction myown programming 2003 inductive_functional_programming mastersthesis recursive_program_schemes automatic_programming inductive_inference <span style="color:#555555;">Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> </span>(<em>2003</em>)Welcome to IEEE Xplore 2.0: Folding of finite program terms to recursive program schemeshttp://www.bibsonomy.org/bibtex/21c72408b0c6508f935658d38c3889425/mhmh2007-10-17T15:28:39+02:00recursive_program_schemes myown inproceedings functional_programming induction 2002 published inductive_programming programming inductive_functional_programming inductive_program_synthesis automatic_programming inductive inductive_inference igor1 <span style="color:#555555;">Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> und Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a> und Martin <a href="http://www.bibsonomy.org/author/M{\&#034;u}hlpfordt">M&#252;hlpfordt</a> und Fritz <a href="http://www.bibsonomy.org/author/Wysotzki">Wysotzki</a> </span><em>Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, </em><em>1, </em><em>Seite144--149 vol.1. </em>(<em>2002</em>)SpringerLink - Buchkapitelhttp://www.bibsonomy.org/bibtex/266a4aeaeb6d096328a449dee1694061f/mhmh2007-10-17T15:28:39+02:00tridiagonal_system_solver 2003 myown published inproceedings skeletons parallel_programming parallel <span style="color:#555555;">Holger <a href="http://www.bibsonomy.org/author/Bischof">Bischof</a> und Sergei <a href="http://www.bibsonomy.org/author/Gorlatch">Gorlatch</a> und Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> </span><em>Parallel Computing Technologies, </em><em>Volume2763vonLNCS, </em><em>Seite415--428. </em><em>Springer-Verlag, </em>(<em>2003</em>)http://www.bibsonomy.org/bibtex/21becb457fcdff29bf2e60d3d8a329fb2/mhmh2007-10-17T15:28:39+02:00article published 2003 parallel_programming skeletons programming parallel myown <span style="color:#555555;">Holger <a href="http://www.bibsonomy.org/author/Bischof">Bischof</a> und Sergei <a href="http://www.bibsonomy.org/author/Gorlatch">Gorlatch</a> und Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> </span><em>Parallel Processing Letters</em><em>13(4):575--587</em>(<em>2003</em>)one of my term papershttp://www.bibsonomy.org/bibtex/2b9f4f20a0eb9132166f6c3c5379464e9/mhmh2007-10-17T15:28:39+02:00inductive_functional_programming inductive_programming functional_programming myown inductive_program_synthesis induction 2001 inductive programming inductive_inference automatic_programming term_paper <span style="color:#555555;">Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> </span>(<em>2001</em>)http://www.bibsonomy.org/bibtex/2df072a9ad455085c90f6f09a0bb6a281/mhmh2007-10-17T15:28:39+02:00inductive_functional_programming inductive functional_programming inductive_programming inductive_inference myown induction igor2 2006 constructor_systems programming automatic_programming extended_abstract inductive_program_synthesis <span style="color:#555555;">Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> und Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a> </span>(<em>2006</em>) <em>poster abstract . </em>Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approachhttp://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/mhmh2007-10-17T15:28:39+02:00induction inductive_learning inductive_program_synthesis 2006 myown igor1 explanation-based_generalization published inductive_inference programming inductive functional_programming inductive_functional_programming automatic_programming article recursive_program_schemes inductive_programming <span style="color:#555555;">Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> und Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a> </span><em>Journal of Machine Learning Research</em>(<em>2006</em>)http://www.bibsonomy.org/bibtex/233baefe4d9d0bc4d9ebb09d64428a99e/mhmh2007-10-17T15:28:39+02:00recursive_program_schemes functional_programming inductive_learning 2005 inductive_inference inproceedings igor1 inductive_functional_programming induction inductive inductive_program_synthesis myown programming ebg machine_learning automatic_programming inductive_programming <span style="color:#555555;">Emanuel <a href="http://www.bibsonomy.org/author/Kitzelmann">Kitzelmann</a> und Ute <a href="http://www.bibsonomy.org/author/Schmid">Schmid</a> </span><em>Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming, </em><em>Seite15--27. </em>(<em>2005</em>)