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

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(17)

<< < 1 > >>

A Deductive Approach to Program Synthesis
Zohar Manna, and Richard Waldinger ACM Transactions on Programming Languages and Systems 2(1):90--121 (1980)
to article ase deductive_program_synthesis program_synthesis by emanuel and 1 other user on May 9, 2010, 3:17 PM
URL | BibTeX (0)
Inductive Logic Programming
Stephen Muggleton New Generation Computing 8(4):295--318 (1991)
to article ilp induction machine_learning by emanuel and 4 other users on Apr 22, 2010, 5: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)
Language Identification in the Limit
E. Mark Gold Information and Control 10(5):447--474 (1967)
to article identification_in_the_limit induction machine_learning seminal_paper by emanuel and 8 other users on Apr 21, 2010, 9:55 PM
URL | BibTeX (0)
Cost Optimality And Predictability Of Parallel Programming with Skeletons
Holger Bischof, Sergei Gorlatch, and Emanuel Kitzelmann Parallel Processing Letters 13(4):575--587 (2003)Revised version of BiGoKi03 .
to article parallel_programming skeletons by emanuel and 4 other users on Dec 28, 2009, 12:31 AM
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)
Induction of Logic Programs: FOIL and Related Systems
J. R. Quinlan, and R. M. Cameron-Jones New Generation Computing, special issue on Inductive Logic Programming 13(3-4):287--312 (1995)
to applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis by emanuel and 3 other users on May 16, 2008, 6:20 PM
URL | BibTeX (0)
Efficient Top-Down Induction of Logic Programs
R. Mike Cameron-Jones, and J. Ross Quinlan SIGART Bulletin 5(1):33--42 (1994)
to applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis by emanuel and 1 other user on May 16, 2008, 6:18 PM
URL | BibTeX (0)
Learning Logical Definitions from Relations
J. R. Quinlan Machine Learning 5(3):239--266 (1990)original foil paper .
to applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis by emanuel and 6 other users on May 16, 2008, 6:07 PM
URL | BibTeX (0)
A Methodology for LISP Program Construction from Examples
Phillip D. Summers Journal of the ACM 24(1):161--175 (1977)
to analytical_ip article ifp induction inductive_programming program_synthesis seminal_paper thesys by emanuel and 2 other users on Apr 22, 2008, 2:15 PM
URL | BibTeX (0)
Logic Program Synthesis as Problem Reduction Using Combining Forms
Andreas Hamfelt, Jørgen Fischer Nilsson, and Nikolaj Oldager Automated Software Engineering 8(2):167--193 (2001)
to article ase combilog combinduce enumerative_ip ilp induction inductive_programming program_synthesis recursion_schemes by emanuel and 1 other user on Apr 20, 2008, 5:55 PM
URL | BibTeX (0)
Specifications are necessarily informal or: some more myths of formal methods
Baudouin Le Charlier, and Pierre Flener Journal of Systems and Software 40(3):275--296 (1998)
to article ase comparison formal_methods position_paper program_synthesis software_engineering by emanuel and 2 other users on Apr 18, 2008, 5:43 PM
URL | BibTeX (0)
Inductive Programming
Pierre Flener, and Derek Partridge Automated Software Engineering 8(2):131--137 (2001)
to article ase induction inductive_programming position_paper program_synthesis software_engineering by emanuel and 1 other user on Apr 18, 2008, 5:29 PM
URL | BibTeX (0)
A Transformation System for Developing Recursive Programs
R. M. Burstall, and John Darlington Journal of the ACM 24(1):44--67 (1977)
to article ase deductive_program_synthesis program_optimisation program_synthesis program_transformation by emanuel and 2 other users on Apr 17, 2008, 12:36 PM
URL | BibTeX (0)
Learning First-Order Definitions of Functions
J. R. Quinlan Journal of Artificial Intelligence Research (1996)
to applications article enumerative_ip foil ilp induction inductive_programming machine_learning program_synthesis by emanuel and 4 other users on Dec 13, 2007, 3:42 PM
URL | BibTeX (0)
Applications of Inductive Logic Programming
Ivan Bratko, and Stephen H. Muggleton Communications of the ACM 38(11):65--70 (1995)
to applications article ilp induction machine_learning survey by emanuel and 2 other users on Sep 2, 2007, 10:49 PM
BibTeX (0)
Inductive Logic Programming: Derivations, Successes and Shortcomings
Stephen H. Muggleton SIGART Bulletin 5(1):5--11 (1994)
to article ilp induction machine_learning by emanuel and 3 other users on Sep 2, 2007, 5:16 PM
URL | BibTeX (0)

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

a gripper