37 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. Inductive programming meets the real world
21. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)
22. Artificial general intelligence: Proceedings of the Third Conference on Artificial General Intelligence, AGI 2010, Lugano, Switzerland, March 5-8, 2010
23. A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs
24. I/O guided detection of list catamorphisms
25. Combining Analytical and Evolutionary Inductive Programming
26. Analytical Inductive Programming as a Cognitive Rule Acquisition Devise
27. A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems
28. I/O guided detection of list catamorphisms.
29. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.
30. COST OPTIMALITY AND PREDICTABILITY OF PARALLEL PROGRAMMING WITH SKELETONS.
31. Automated Method Induction: Functional Goes Object Oriented
32. Recent Improvements of MagicHaskeller
33. Generalisation Operators for Lists Embedded in a Metric Space
34. Enumerating Well-Typed Terms Generically
35. Incremental Learning in Inductive Programming
36. Synthesis of Functions Using Generic Programming
37. 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.