( en | de | ru )

 

Disambiguation of "Schmid, Ute"

Author of the publication

copydeleteadd this publication to your clipboard
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.

, , and . KI, volume 5243 of Lecture Notes in Computer Science, page 78-86. Springer, (2008)

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)Computer models solving intelligence test problems: Progress and implications., , , , and . Artif. Intell., (2016)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)An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs., and . AAIP, page 15-26. (2005)Domain-Specific Evaluation of Visual Explanations for Application-Grounded Facial Expression Recognition., , , and . CD-MAKE, volume 14065 of Lecture Notes in Computer Science, page 31-44. Springer, (2023)Semi-analytic Natural Number Series Induction., and . KI, volume 7526 of Lecture Notes in Computer Science, page 249-252. Springer, (2012)Can Machine Intelligence be Measured in the Same Way as Human intelligence?, , and . Künstliche Intell., 29 (3): 291-297 (2015)