Search

Your search keyword '"KITZELMANN, EMANUEL"' showing total 35 results
Start Over Author "KITZELMANN, EMANUEL"
35 results on '"KITZELMANN, EMANUEL"'

1. Porting IgorII from Maude to Haskell

Author

Hofmann, Martin, Kitzelmann, Emanuel, Schmid, Ute, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

2. Inductive Programming: A Survey of Program Synthesis Techniques

Author

Kitzelmann, Emanuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

3. Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2

Author

Hofmann, Jacqueline, Kitzelmann, Emanuel, Schmid, Ute, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Siekmann, Jörg, Series editor, Lutz, Carsten, editor, and Thielscher, Michael, editor

Published
2014
Full Text
View/download PDF

4. From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience

Author

Raab, Marius, Wernsdorfer, Mark, Kitzelmann, Emanuel, Schmid, Ute, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Schmidhuber, Jürgen, editor, Thórisson, Kristinn R., editor, and Looks, Moshe, editor

Published
2011
Full Text
View/download PDF

5. Analytical Inductive Functional Programming

Author

Kitzelmann, Emanuel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Hanus, Michael, editor

Published
2009
Full Text
View/download PDF

9. Inductive Synthesis of Functional Programs

Author

Kitzelmann, Emanuel, Schmid, Ute, Mühlpfordt, Martin, Wysotzki, Fritz, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, J. G., editor, Siekmann, J., editor, Calmet, Jacques, editor, Benhamou, Belaid, editor, Caprotti, Olga, editor, Henocque, Laurent, editor, and Sorge, Volker, editor

Published
2002
Full Text
View/download PDF

18. Inductive Programming Meets the Real World.

Author

GULWANI, SUMIT, HERNÁNDEZ-ORALLO, JOSÉ, KITZELMANN, EMANUEL, MUGGLETON, STEPHEN H., SCHMID, UTE, and ZORN, BENJAMIN

Subjects
INDUCTIVE logic programming, APPLICATION software, END users (Information technology), ELECTRONIC spreadsheets, SCRIPTING languages (Computer science), INTELLIGENT tutoring systems
Abstract

The article looks at how the integration of inductive programming (IP) techniques in software applications can support end users in automating complex tasks. Details are provided on the process of learning domain-specific programs from observations on how users interact with the system. Noted applications of IP include spreadsheet tools, scripting, and intelligent program tutors.

Published
2015
Full Text
View/download PDF

19. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Author

Gulwani, Sumit, Kitzelmann, Emanuel, and Schmid, Ute

Subjects
000 Computer science, knowledge, general works, Computer Science
Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 13502 "Approaches and Applications of Inductive Programming". After a short introduction to inductive programming research, an overview of the talks and the outcomes of discussion groups is given.

Published
2014
Full Text
View/download PDF

27. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.

Author

Kitzelmann, Emanuel, Schmid, Ute, Olsson, Roland, and Kaelbling, Leslie Pack

Subjects
*MACHINE learning, *RECURSIVE programming, *LISP (Computer program language), *ALGORITHMS, *ARTIFICIAL intelligence
Abstract

We describe an approach to the inductive synthesis of recursive equations from input/output-examples which is based on the classical two-step approach to induction of functional Lisp programs of Summers (1977). In a first step, I/O-examples are rewritten to traces which explain the outputs given the respective inputs based on a datatype theory. These traces can be integrated into one conditional expression which represents a non-recursive program. In a second step, this initial program term is generalized into recursive equations by searching for syntactical regularities in the term. Our approach extends the classical work in several aspects. The most important extensions are that we are able to induce a set of recursive equations in one synthesizing step, the equations may contain more than one recursive call, and additionally needed parameters are automatically introduced. [ABSTRACT FROM AUTHOR]

Published
2006

28. COST OPTIMALITY AND PREDICTABILITY OF PARALLEL PROGRAMMING WITH SKELETONS.

Author

Bischo, Holger, Gorlatch, Sergei, and Kitzelmann, Emanuel

Subjects
PARALLEL processing, COST effectiveness, COMPUTER software, SEMANTICS, PARALLEL algorithms, DATA structures
Abstract

Skeletons are reusable, parameterized program components with well-defined semantics and pre-packaged efficient parallel implementation. This paper develops a new, provably cost-optimal implementation of the DS (double-scan) skeleton for programming divide-and-conquer algorithms. Our implementation is based on a novel data structure called plist (pointed list); implementation's performance is estimated using an analytical model. We demonstrate the use of the DS skeleton for parallelizing a tridiagonal system solver and report experimental results for its MPI implementation on a Cray T3E and a Linux cluster: they confirm the performance improvement achieved by the cost-optimal implementation and demonstrate its good predictability by our performance model. [ABSTRACT FROM AUTHOR]

Published
2003
Full Text
View/download PDF

29. Automated Method Induction: Functional Goes Object Oriented

Author

Hieber, Thomas, Hofmann, Martin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

30. Recent Improvements of MagicHaskeller

Author

Katayama, Susumu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

31. Generalisation Operators for Lists Embedded in a Metric Space

Author

Estruch, V., Ferri, C., Hernández-Orallo, J., Ramírez-Quintana, M. J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

32. Enumerating Well-Typed Terms Generically

Author

Rodriguez Yakushev, Alexey, Jeuring, Johan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

33. Incremental Learning in Inductive Programming

Author

Henderson, Robert, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

34. Synthesis of Functions Using Generic Programming

Author

Koopman, Pieter, Plasmeijer, Rinus, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

35. Deriving a Relationship from a Single Example

Author

Mitchell, Neil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schmid, Ute, editor, Kitzelmann, Emanuel, editor, and Plasmeijer, Rinus, editor

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results