( en | de | ru )

 

Disambiguation of "Schmid, Ute"

Author of the publication

copydeleteadd this publication to your clipboard
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems

, , , and . KI 2007: Advances in Artificial Intelligence, volume 4667 of LNAI, page 468--472. Springer-Verlag, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ute Schmid

Ute Schmid

Ute Schmid

Ute Schmid

Ute Schmid

 

Other publications of authors with the same name

Folding of Finite Program Terms to Recursive Program Schemes, , , and . First International IEEE Symposium on Intelligent Systems (IS 2002), 1, page 144--149. IEEE, (2002)Inductive Programming -- Example-driven Construction of Functional Programs, , and . Künstliche Intelligenz, (2009)Inductive Synthesis of Functional Programs, , , and . Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume 2385 of LNCS, page 337--354. Springer-Verlag, (2002)Metaphors and heuristic-driven theory projection (HDTP)., , and . Theor. Comput. Sci., 354 (1): 98-117 (2006)Automatic Generation of Analogous Problems to Help Resolving Misconceptions in an Intelligent Tutor System for Written Subtraction., and . ICCBR Workshops, volume 1815 of CEUR Workshop Proceedings, page 108-117. CEUR-WS.org, (2016)Semi-analytic Natural Number Series Induction., and . KI, volume 7526 of Lecture Notes in Computer Science, page 249-252. Springer, (2012)CAIPI in Practice: Towards Explainable Interactive Medical Image Classification., , , , and . AIAI Workshops, volume 652 of IFIP Advances in Information and Communication Technology, page 389-400. Springer, (2022)A Practical Approach to Fuse Shape and Appearance Information in a Gaussian Facial Action Estimation Framework., , , , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1812-1817. IOS Press, (2016)Effect of Superpixel Aggregation on Explanations in LIME - A Case Study with Biological Data., , , and . PKDD/ECML Workshops (1), volume 1167 of Communications in Computer and Information Science, page 147-158. Springer, (2019)Computer models solving intelligence test problems: Progress and implications., , , , and . Artif. Intell., (2016)