( en | de | ru )

 

Disambiguierung von "Ayers, Edward"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Query-Based Hard-Image Retrieval for Object Detection at Test Time.

, , , , und . AAAI, Seite 14692-14700. AAAI Press, (2023)

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.

Edward Hartstein

Edward Dotzel

Edward Birkenbeil

Edward Haub

Edward Fischer

 

Weitere Publikationen von Autoren mit dem selben Namen

Query-Based Hard-Image Retrieval for Object Detection at Test Time., , , , und . AAAI, Seite 14692-14700. AAAI Press, (2023)Query-based Hard-Image Retrieval for Object Detection at Test Time., , , , und . CoRR, (2022)Abstract analysis and optimization of Scheme. MIT, USA, (1993)Proof Artifact Co-Training for Theorem Proving with Language Models., , , , und . ICLR, OpenReview.net, (2022)A Human-Oriented Term Rewriting System., , und . KI, Volume 11793 von Lecture Notes in Computer Science, Seite 76-86. Springer, (2019)ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics., , , , , und . CoRR, (2023)PaRoT: A Practical Framework for Robust Deep Neural Network Training., , , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 63-84. Springer, (2020)Machine-Learned Premise Selection for Lean., , und . TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 175-186. Springer, (2023)An Extensible User Interface for Lean 4., , und . ITP, Volume 268 von LIPIcs, Seite 24:1-24:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Graphical User Interface Framework for Formal Verification., , und . ITP, Volume 193 von LIPIcs, Seite 4:1-4:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)