Autor der Publikation

Automated conjecture making in number theory using HR, Otter and Maple.

. J. Symb. Comput., 39 (5): 593-615 (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Emotionally aware automated portrait painting., , und . DIMEA, Volume 349 von ACM International Conference Proceeding Series, Seite 304-311. ACM, (2008)Unsupervised Modeling of Player Style With LDA., , , , und . IEEE Trans. Comput. Intellig. and AI in Games, 4 (3): 152-166 (2012)Automated Theory Formation in Pure Mathematics.. Distinguished dissertations Springer, (2002)Making Conjectures about Maple Functions.. AISC, Volume 2385 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2002)Automatic Invention of Fitness Functions with Application to Scene Generation.. EvoWorkshops, Volume 4974 von Lecture Notes in Computer Science, Seite 381-391. Springer, (2008)Automatic Generation of Implied Constraints., , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 73-77. IOS Press, (2006)Combining AI Methods for Learning Bots in a Real-Time Strategy Game., , und . Int. J. Comput. Games Technol., (2009)Predictive and Descriptive Approaches to Learning Game Rules from Vision Data., , und . IBERAMIA-SBIA, Volume 4140 von Lecture Notes in Computer Science, Seite 349-359. Springer, (2006)Evolving Behaviour Trees for the Commercial Game DEFCON., , und . EvoApplications (1), Volume 6024 von Lecture Notes in Computer Science, Seite 100-110. Springer, (2010)A Systematic Evaluation of GPT-2-Based Music Generation., und . EvoMUSART, Volume 13221 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2022)