( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems

, , , и . KI 2007: Advances in Artificial Intelligence, том 4667 из LNCS, стр. 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.

Ute Schmid

Ute Schmid

Ute Schmid

Ute Schmid

Ute Schmid

 

Другие публикации лиц с тем же именем

Can Machine Intelligence be Measured in the Same Way as Human intelligence?, , и . Künstliche Intell., 29 (3): 291-297 (2015)Computer models solving intelligence test problems: Progress and implications., , , , и . Artif. Intell., (2016)Metaphors and heuristic-driven theory projection (HDTP)., , и . Theor. Comput. Sci., 354 (1): 98-117 (2006)CAIPI in Practice: Towards Explainable Interactive Medical Image Classification., , , , и . AIAI Workshops, том 652 из IFIP Advances in Information and Communication Technology, стр. 389-400. Springer, (2022)Semi-analytic Natural Number Series Induction., и . KI, том 7526 из Lecture Notes in Computer Science, стр. 249-252. Springer, (2012)Automatic Generation of Analogous Problems to Help Resolving Misconceptions in an Intelligent Tutor System for Written Subtraction., и . ICCBR Workshops, том 1815 из CEUR Workshop Proceedings, стр. 108-117. CEUR-WS.org, (2016)A Practical Approach to Fuse Shape and Appearance Information in a Gaussian Facial Action Estimation Framework., , , , и . ECAI, том 285 из Frontiers in Artificial Intelligence and Applications, стр. 1812-1817. IOS Press, (2016)Inductive Synthesis of Functional Programs, , , и . Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, том 2385 из LNCS, стр. 337--354. Springer-Verlag, (2002)Folding of Finite Program Terms to Recursive Program Schemes, , , и . First International IEEE Symposium on Intelligent Systems (IS 2002), 1, стр. 144--149. IEEE, (2002)Inductive Programming -- Example-driven Construction of Functional Programs, , и . Künstliche Intelligenz, (2009)