35 results on '"KITZELMANN, EMANUEL"'
Search Results
2. Inductive Programming: A Survey of Program Synthesis Techniques
3. Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2
4. From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience
5. Analytical Inductive Functional Programming
6. Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
7. Cost Optimality and Predictability of Parallel Programming with Skeletons
8. Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons
9. Inductive Synthesis of Functional Programs
10. Inductive rule learning on the knowledge level
11. A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs
12. Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
13. From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience
14. Inductive Programming: A Survey of Program Synthesis Techniques
15. Porting IgorII from Maude to Haskell
16. Analytical Inductive Functional Programming
17. Cost Optimality and Predictability of Parallel Programming with Skeletons
18. Inductive Programming Meets the Real World.
19. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)
20. Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
21. A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs
22. I/O guided detection of list catamorphisms
23. Combining Analytical and Evolutionary Inductive Programming
24. Analytical Inductive Programming as a Cognitive Rule Acquisition Devise
25. A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems
26. I/O guided detection of list catamorphisms.
27. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.
28. COST OPTIMALITY AND PREDICTABILITY OF PARALLEL PROGRAMMING WITH SKELETONS.
29. Automated Method Induction: Functional Goes Object Oriented
30. Recent Improvements of MagicHaskeller
31. Generalisation Operators for Lists Embedded in a Metric Space
32. Enumerating Well-Typed Terms Generically
33. Incremental Learning in Inductive Programming
34. Synthesis of Functions Using Generic Programming
35. Deriving a Relationship from a Single Example
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.