Autor der Publikation

The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-linear Problems.

, und . ECML/PKDD (1), Volume 7523 von Lecture Notes in Computer Science, Seite 175-190. Springer, (2012)

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

Improving Cost-Optimal Domain-Independent Symbolic Planning., und . AAAI, AAAI Press, (2011)On the Compilation of Plan Constraints and Preferences.. ICAPS, Seite 374-377. AAAI, (2006)Automated Planning and Model Checking (Dagstuhl Seminar 14482)., , , , und . Dagstuhl Reports, 4 (11): 227-245 (2014)The Deterministic Part of IPC-4: An Overview., und . J. Artif. Intell. Res., (2005)On the performance of WEAK-HEAPSORT, und . Electronic Colloquium on Computational Complexity (ECCC), (1999)A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue., und . STTT, 20 (5): 515-528 (2018)The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-linear Problems., und . ECML/PKDD (1), Volume 7523 von Lecture Notes in Computer Science, Seite 175-190. Springer, (2012)QuickXsort - A Fast Sorting Scheme in Theory and Practice., , und . CoRR, (2018)Taming Numbers and Durations in the Model Checking Integrated Planning System.. PuK, (2002)06172 Abstracts Collection -- Directed Model Checking., , und . Directed Model Checking, Volume 06172 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)